Trace number 196393

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 102.888 103.967

DiagnosticValue
NODES1394

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)

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

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/node45/watcher-196393-1168122904 -o ROOT/results/node45/solver-196393-1168122904 -C 1800 -M 900 /tmp/evaluation/196393-1168122904/cspfj.sh -competition /tmp/evaluation/196393-1168122904/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.01 2.00 4/85 2604
/proc/meminfo: memFree=1378136/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=18540 CPUtime=0
/proc/2603/stat : 2603 (runsolver) R 2601 2603 1097 0 -1 4194368 16 0 0 0 0 0 0 0 22 0 1 0 160689420 18984960 280 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 258939088167 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2603/statm: 4635 280 244 17 0 2626 0

[startup+0.11025 s]
/proc/loadavg: 2.00 2.01 2.00 4/85 2604
/proc/meminfo: memFree=1378136/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=5352 CPUtime=0
/proc/2603/stat : 2603 (cspfj.sh) S 2601 2603 1097 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 160689420 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2603/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.518323 s]
/proc/loadavg: 2.00 2.01 2.00 4/85 2604
/proc/meminfo: memFree=1378136/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=5352 CPUtime=0
/proc/2603/stat : 2603 (cspfj.sh) S 2601 2603 1097 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 160689420 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2603/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34148 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2613
/proc/meminfo: memFree=1362840/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=5352 CPUtime=0
/proc/2603/stat : 2603 (cspfj.sh) S 2601 2603 1097 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 160689420 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2603/statm: 1338 240 201 169 0 49 0
[pid=2606] ppid=2603 vsize=865672 CPUtime=1.3
/proc/2606/stat : 2606 (java) R 2603 2603 1097 0 -1 0 6206 0 1 0 124 6 0 0 24 0 8 0 160689421 886448128 5899 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2606/statm: 216418 5899 1828 14 0 203680 0
[pid=2606/tid=2607] ppid=2603 vsize=865672 CPUtime=0.15
/proc/2606/task/2607/stat : 2607 (java) R 2603 2603 1097 0 -1 64 2101 0 0 0 14 1 0 0 16 0 8 0 160689424 886448128 5899 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2608] ppid=2603 vsize=865672 CPUtime=0
/proc/2606/task/2608/stat : 2608 (java) S 2603 2603 1097 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160689425 886448128 5899 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2609] ppid=2603 vsize=865672 CPUtime=0
/proc/2606/task/2609/stat : 2609 (java) S 2603 2603 1097 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160689425 886448128 5899 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2610] ppid=2603 vsize=865672 CPUtime=0
/proc/2606/task/2610/stat : 2610 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160689428 886448128 5899 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2611] ppid=2603 vsize=865672 CPUtime=0.24
/proc/2606/task/2611/stat : 2611 (java) S 2603 2603 1097 0 -1 64 499 0 0 0 23 1 0 0 15 0 8 0 160689428 886448128 5899 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2612] ppid=2603 vsize=865672 CPUtime=0
/proc/2606/task/2612/stat : 2612 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160689428 886448128 5899 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2613] ppid=2603 vsize=865672 CPUtime=0
/proc/2606/task/2613/stat : 2613 (java) S 2603 2603 1097 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160689428 886448128 5899 18446744073709551615 134512640 134570532 4294956528 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) 871024

[startup+2.99077 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2613
/proc/meminfo: memFree=1353240/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=5352 CPUtime=0
/proc/2603/stat : 2603 (cspfj.sh) S 2601 2603 1097 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 160689420 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2603/statm: 1338 240 201 169 0 49 0
[pid=2606] ppid=2603 vsize=865792 CPUtime=2.93
/proc/2606/stat : 2606 (java) R 2603 2603 1097 0 -1 0 9827 0 1 0 280 13 0 0 25 0 8 0 160689421 886571008 9480 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2606/statm: 216448 9480 1828 14 0 203710 0
[pid=2606/tid=2607] ppid=2603 vsize=865792 CPUtime=0.33
/proc/2606/task/2607/stat : 2607 (java) S 2603 2603 1097 0 -1 64 5024 0 0 0 31 2 0 0 16 0 8 0 160689424 886571008 9480 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2608] ppid=2603 vsize=865792 CPUtime=0
/proc/2606/task/2608/stat : 2608 (java) S 2603 2603 1097 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160689425 886571008 9480 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2609] ppid=2603 vsize=865792 CPUtime=0
/proc/2606/task/2609/stat : 2609 (java) S 2603 2603 1097 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160689425 886571008 9480 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2610] ppid=2603 vsize=865792 CPUtime=0
/proc/2606/task/2610/stat : 2610 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160689428 886571008 9480 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2611] ppid=2603 vsize=865792 CPUtime=0.3
/proc/2606/task/2611/stat : 2611 (java) S 2603 2603 1097 0 -1 64 530 0 0 0 29 1 0 0 15 0 8 0 160689428 886571008 9480 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2612] ppid=2603 vsize=865792 CPUtime=0
/proc/2606/task/2612/stat : 2612 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160689428 886571008 9480 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2613] ppid=2603 vsize=865792 CPUtime=0
/proc/2606/task/2613/stat : 2613 (java) S 2603 2603 1097 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160689428 886571008 9480 18446744073709551615 134512640 134570532 4294956528 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) 871144

[startup+6.29037 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2613
/proc/meminfo: memFree=1324440/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=5352 CPUtime=0
/proc/2603/stat : 2603 (cspfj.sh) S 2601 2603 1097 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 160689420 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2603/statm: 1338 240 201 169 0 49 0
[pid=2606] ppid=2603 vsize=866056 CPUtime=6.21
/proc/2606/stat : 2606 (java) R 2603 2603 1097 0 -1 0 16671 0 1 0 596 25 0 0 25 0 8 0 160689421 886841344 16286 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073691726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2606/statm: 216514 16286 1828 14 0 203776 0
[pid=2606/tid=2607] ppid=2603 vsize=866056 CPUtime=0.85
/proc/2606/task/2607/stat : 2607 (java) S 2603 2603 1097 0 -1 64 10578 0 0 0 80 5 0 0 16 0 8 0 160689424 886841344 16286 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2608] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2608/stat : 2608 (java) S 2603 2603 1097 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160689425 886841344 16286 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2609] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2609/stat : 2609 (java) S 2603 2603 1097 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160689425 886841344 16286 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2610] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2610/stat : 2610 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160689428 886841344 16286 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2611] ppid=2603 vsize=866056 CPUtime=0.35
/proc/2606/task/2611/stat : 2611 (java) S 2603 2603 1097 0 -1 64 550 0 0 0 34 1 0 0 16 0 8 0 160689428 886841344 16286 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2612] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2612/stat : 2612 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160689428 886841344 16286 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2613] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2613/stat : 2613 (java) S 2603 2603 1097 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160689428 886841344 16286 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 871408

[startup+12.6955 s]
/proc/loadavg: 2.08 2.03 2.01 3/93 2613
/proc/meminfo: memFree=1254360/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=5352 CPUtime=0
/proc/2603/stat : 2603 (cspfj.sh) S 2601 2603 1097 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 160689420 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2603/statm: 1338 240 201 169 0 49 0
[pid=2606] ppid=2603 vsize=866056 CPUtime=12.54
/proc/2606/stat : 2606 (java) R 2603 2603 1097 0 -1 0 26199 0 1 0 1211 43 0 0 25 0 8 0 160689421 886841344 25779 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073716608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2606/statm: 216514 25779 1828 14 0 203776 0
[pid=2606/tid=2607] ppid=2603 vsize=866056 CPUtime=1.77
/proc/2606/task/2607/stat : 2607 (java) S 2603 2603 1097 0 -1 64 18531 0 0 0 169 8 0 0 16 0 8 0 160689424 886841344 25779 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2608] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2608/stat : 2608 (java) S 2603 2603 1097 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160689425 886841344 25779 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2609] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2609/stat : 2609 (java) S 2603 2603 1097 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160689425 886841344 25779 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2610] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2610/stat : 2610 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160689428 886841344 25779 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2611] ppid=2603 vsize=866056 CPUtime=0.35
/proc/2606/task/2611/stat : 2611 (java) S 2603 2603 1097 0 -1 64 550 0 0 0 34 1 0 0 16 0 8 0 160689428 886841344 25779 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2612] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2612/stat : 2612 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160689428 886841344 25779 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2613] ppid=2603 vsize=866056 CPUtime=0
/proc/2606/task/2613/stat : 2613 (java) S 2603 2603 1097 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160689428 886841344 25779 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 871408

[startup+25.5549 s]
/proc/loadavg: 2.07 2.03 2.00 3/93 2613
/proc/meminfo: memFree=1222360/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=5352 CPUtime=0
/proc/2603/stat : 2603 (cspfj.sh) S 2601 2603 1097 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 160689420 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2603/statm: 1338 240 201 169 0 49 0
[pid=2606] ppid=2603 vsize=866452 CPUtime=25.28
/proc/2606/stat : 2606 (java) R 2603 2603 1097 0 -1 0 33875 0 1 0 2466 62 0 0 25 0 8 0 160689421 887246848 33440 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074211647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2606/statm: 216613 33440 1833 14 0 203875 0
[pid=2606/tid=2607] ppid=2603 vsize=866452 CPUtime=2
/proc/2606/task/2607/stat : 2607 (java) S 2603 2603 1097 0 -1 64 24714 0 0 0 189 11 0 0 16 0 8 0 160689424 887246848 33440 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2608] ppid=2603 vsize=866452 CPUtime=0
/proc/2606/task/2608/stat : 2608 (java) S 2603 2603 1097 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160689425 887246848 33440 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2609] ppid=2603 vsize=866452 CPUtime=0
/proc/2606/task/2609/stat : 2609 (java) S 2603 2603 1097 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160689425 887246848 33440 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2610] ppid=2603 vsize=866452 CPUtime=0
/proc/2606/task/2610/stat : 2610 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160689428 887246848 33440 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2611] ppid=2603 vsize=866452 CPUtime=1.15
/proc/2606/task/2611/stat : 2611 (java) S 2603 2603 1097 0 -1 64 1087 0 0 0 109 6 0 0 16 0 8 0 160689428 887246848 33440 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2612] ppid=2603 vsize=866452 CPUtime=0
/proc/2606/task/2612/stat : 2612 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160689428 887246848 33440 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2613] ppid=2603 vsize=866452 CPUtime=0
/proc/2606/task/2613/stat : 2613 (java) S 2603 2603 1097 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160689428 887246848 33440 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 871804

[startup+51.2185 s]
/proc/loadavg: 2.11 2.04 2.01 3/93 2613
/proc/meminfo: memFree=1208472/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=5352 CPUtime=0
/proc/2603/stat : 2603 (cspfj.sh) S 2601 2603 1097 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 160689420 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2603/statm: 1338 240 201 169 0 49 0
[pid=2606] ppid=2603 vsize=870160 CPUtime=50.65
/proc/2606/stat : 2606 (java) R 2603 2603 1097 0 -1 0 37304 0 1 0 4983 82 0 0 25 0 8 0 160689421 891043840 36868 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074206608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2606/statm: 217540 36868 1833 14 0 204802 0
[pid=2606/tid=2607] ppid=2603 vsize=870160 CPUtime=2.02
/proc/2606/task/2607/stat : 2607 (java) S 2603 2603 1097 0 -1 64 25341 0 0 0 191 11 0 0 16 0 8 0 160689424 891043840 36868 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2608] ppid=2603 vsize=870160 CPUtime=0
/proc/2606/task/2608/stat : 2608 (java) S 2603 2603 1097 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160689425 891043840 36868 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2609] ppid=2603 vsize=870160 CPUtime=0
/proc/2606/task/2609/stat : 2609 (java) S 2603 2603 1097 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160689425 891043840 36868 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2610] ppid=2603 vsize=870160 CPUtime=0
/proc/2606/task/2610/stat : 2610 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160689428 891043840 36868 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2611] ppid=2603 vsize=870160 CPUtime=4.46
/proc/2606/task/2611/stat : 2611 (java) S 2603 2603 1097 0 -1 64 3848 0 0 0 424 22 0 0 15 0 8 0 160689428 891043840 36868 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2612] ppid=2603 vsize=870160 CPUtime=0
/proc/2606/task/2612/stat : 2612 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160689428 891043840 36868 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2613] ppid=2603 vsize=870160 CPUtime=0
/proc/2606/task/2613/stat : 2613 (java) S 2603 2603 1097 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160689428 891043840 36868 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 875512

[startup+102.517 s]
/proc/loadavg: 2.04 2.03 2.00 3/93 2613
/proc/meminfo: memFree=1155096/2055920 swapFree=4184048/4192956
[pid=2603] ppid=2601 vsize=5352 CPUtime=0
/proc/2603/stat : 2603 (cspfj.sh) S 2601 2603 1097 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 160689420 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2603/statm: 1338 240 201 169 0 49 0
[pid=2606] ppid=2603 vsize=874816 CPUtime=101.46
/proc/2606/stat : 2606 (java) R 2603 2603 1097 0 -1 0 50772 0 1 0 10040 106 0 0 25 0 8 0 160689421 895811584 50161 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074190190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2606/statm: 218704 50161 1833 14 0 205966 0
[pid=2606/tid=2607] ppid=2603 vsize=874816 CPUtime=2.86
/proc/2606/task/2607/stat : 2607 (java) S 2603 2603 1097 0 -1 64 35074 0 0 0 271 15 0 0 16 0 8 0 160689424 895811584 50161 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2608] ppid=2603 vsize=874816 CPUtime=0
/proc/2606/task/2608/stat : 2608 (java) S 2603 2603 1097 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160689425 895811584 50161 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2609] ppid=2603 vsize=874816 CPUtime=0
/proc/2606/task/2609/stat : 2609 (java) S 2603 2603 1097 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 160689425 895811584 50161 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2610] ppid=2603 vsize=874816 CPUtime=0
/proc/2606/task/2610/stat : 2610 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160689428 895811584 50161 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2611] ppid=2603 vsize=874816 CPUtime=8.22
/proc/2606/task/2611/stat : 2611 (java) S 2603 2603 1097 0 -1 64 6972 0 0 0 785 37 0 0 15 0 8 0 160689428 895811584 50161 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2612] ppid=2603 vsize=874816 CPUtime=0
/proc/2606/task/2612/stat : 2612 (java) S 2603 2603 1097 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160689428 895811584 50161 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2606/tid=2613] ppid=2603 vsize=874816 CPUtime=0
/proc/2606/task/2613/stat : 2613 (java) S 2603 2603 1097 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160689428 895811584 50161 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 880168

Child status: 0
Real time (s): 103.967
CPU time (s): 102.888
CPU user time (s): 101.79
CPU system time (s): 1.09883
CPU usage (%): 98.9622
Max. virtual memory (cumulated for all children) (KiB): 881032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.79
system time used= 1.09883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51257
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= 31935
involuntary context switches= 33595

runsolver used 0.146977 s user time and 0.374943 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sat Jan  6 22:35:05 UTC 2007


IDJOB= 196393
IDBENCH= 3348
FILE ID= node45/196393-1168122904

PBS_JOBID= 3477429

Free space on /tmp= 66538 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  3a39af590e754420eaf79b6f135d4551

RANDOM SEED= 593796898

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.259
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.259
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:       1378616 kB
Buffers:         19064 kB
Cached:         133560 kB
SwapCached:       3164 kB
Active:         543640 kB
Inactive:        85224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1378616 kB
SwapTotal:     4192956 kB
SwapFree:      4184048 kB
Dirty:            1420 kB
Writeback:           0 kB
Mapped:         491784 kB
Slab:            32912 kB
Committed_AS:  3673452 kB
PageTables:       2700 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= 66538 MiB



End job on node45 on Sat Jan  6 22:36:49 UTC 2007