Trace number 196536

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 92.6139 92.924

DiagnosticValue
NODES1182

General information on the benchmark

Namefapp/fapp06-10/fapp09/
fapp09-0800-4.xml
MD5SUM6ce7ac5fe2095794bf8df2c927925b53
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.10937
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)

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

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/node16/watcher-196536-1168123972 -o ROOT/results/node16/solver-196536-1168123972 -C 1800 -M 900 /tmp/evaluation/196536-1168123972/cspfj.sh -solver Combo -competition /tmp/evaluation/196536-1168123972/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.05 2.07 2.06 5/93 3404
/proc/meminfo: memFree=1700912/2055920 swapFree=4191880/4192956
[pid=3403] ppid=3401 vsize=5352 CPUtime=0
/proc/3403/stat : 3403 (cspfj.sh) S 3401 3403 2496 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 160792045 5480448 229 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3403/statm: 1338 229 192 169 0 49 0
[pid=3405] ppid=3403 vsize=0 CPUtime=0
/proc/3405/stat : 3405 (dirname) R 3403 3403 2496 0 -1 4194308 128 0 0 0 0 0 0 0 21 0 1 0 160792045 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/3405/statm: 0 0 0 0 0 0 0

[startup+0.109117 s]
/proc/loadavg: 2.05 2.07 2.06 5/93 3404
/proc/meminfo: memFree=1700912/2055920 swapFree=4191880/4192956
[pid=3403] ppid=3401 vsize=5352 CPUtime=0
/proc/3403/stat : 3403 (cspfj.sh) S 3401 3403 2496 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 160792045 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3403/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.517042 s]
/proc/loadavg: 2.05 2.07 2.06 5/93 3404
/proc/meminfo: memFree=1700912/2055920 swapFree=4191880/4192956
[pid=3403] ppid=3401 vsize=5352 CPUtime=0
/proc/3403/stat : 3403 (cspfj.sh) S 3401 3403 2496 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 160792045 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3403/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.35289 s]
/proc/loadavg: 2.05 2.07 2.06 3/101 3413
/proc/meminfo: memFree=1685232/2055920 swapFree=4191880/4192956
[pid=3403] ppid=3401 vsize=5352 CPUtime=0
/proc/3403/stat : 3403 (cspfj.sh) S 3401 3403 2496 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 160792045 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3403/statm: 1338 240 201 169 0 49 0
[pid=3406] ppid=3403 vsize=865728 CPUtime=1.32
/proc/3406/stat : 3406 (java) R 3403 3403 2496 0 -1 0 6210 0 1 0 126 6 0 0 24 0 8 0 160792046 886505472 5903 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073486094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3406/statm: 216432 5903 1828 14 0 203694 0
[pid=3406/tid=3407] ppid=3403 vsize=865728 CPUtime=0.17
/proc/3406/task/3407/stat : 3407 (java) S 3403 3403 2496 0 -1 64 2104 0 0 0 16 1 0 0 16 0 8 0 160792049 886505472 5903 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3408] ppid=3403 vsize=865728 CPUtime=0
/proc/3406/task/3408/stat : 3408 (java) S 3403 3403 2496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160792049 886505472 5903 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3409] ppid=3403 vsize=865728 CPUtime=0
/proc/3406/task/3409/stat : 3409 (java) S 3403 3403 2496 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160792049 886505472 5903 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3410] ppid=3403 vsize=865728 CPUtime=0
/proc/3406/task/3410/stat : 3410 (java) S 3403 3403 2496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160792053 886505472 5903 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3411] ppid=3403 vsize=865728 CPUtime=0.24
/proc/3406/task/3411/stat : 3411 (java) S 3403 3403 2496 0 -1 64 502 0 0 0 23 1 0 0 16 0 8 0 160792053 886505472 5903 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3412] ppid=3403 vsize=865728 CPUtime=0
/proc/3406/task/3412/stat : 3412 (java) S 3403 3403 2496 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 160792053 886505472 5903 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3413] ppid=3403 vsize=865728 CPUtime=0
/proc/3406/task/3413/stat : 3413 (java) S 3403 3403 2496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160792053 886505472 5903 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 871080

[startup+3.01228 s]
/proc/loadavg: 2.05 2.07 2.06 3/101 3413
/proc/meminfo: memFree=1675120/2055920 swapFree=4191880/4192956
[pid=3403] ppid=3401 vsize=5352 CPUtime=0
/proc/3403/stat : 3403 (cspfj.sh) S 3401 3403 2496 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 160792045 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3403/statm: 1338 240 201 169 0 49 0
[pid=3406] ppid=3403 vsize=865824 CPUtime=2.95
/proc/3406/stat : 3406 (java) R 3403 3403 2496 0 -1 0 10037 0 1 0 283 12 0 0 25 0 8 0 160792046 886603776 9688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3406/statm: 216456 9688 1828 14 0 203718 0
[pid=3406/tid=3407] ppid=3403 vsize=865824 CPUtime=0.33
/proc/3406/task/3407/stat : 3407 (java) S 3403 3403 2496 0 -1 64 5195 0 0 0 31 2 0 0 16 0 8 0 160792049 886603776 9688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3408] ppid=3403 vsize=865824 CPUtime=0
/proc/3406/task/3408/stat : 3408 (java) S 3403 3403 2496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160792049 886603776 9688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3409] ppid=3403 vsize=865824 CPUtime=0
/proc/3406/task/3409/stat : 3409 (java) S 3403 3403 2496 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160792049 886603776 9688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3410] ppid=3403 vsize=865824 CPUtime=0
/proc/3406/task/3410/stat : 3410 (java) S 3403 3403 2496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160792053 886603776 9688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3411] ppid=3403 vsize=865824 CPUtime=0.33
/proc/3406/task/3411/stat : 3411 (java) S 3403 3403 2496 0 -1 64 549 0 0 0 32 1 0 0 15 0 8 0 160792053 886603776 9688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3412] ppid=3403 vsize=865824 CPUtime=0
/proc/3406/task/3412/stat : 3412 (java) S 3403 3403 2496 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 160792053 886603776 9688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3413] ppid=3403 vsize=865824 CPUtime=0
/proc/3406/task/3413/stat : 3413 (java) S 3403 3403 2496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160792053 886603776 9688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 871176

[startup+6.21381 s]
/proc/loadavg: 2.05 2.07 2.06 4/101 3413
/proc/meminfo: memFree=1646640/2055920 swapFree=4191880/4192956
[pid=3403] ppid=3401 vsize=5352 CPUtime=0
/proc/3403/stat : 3403 (cspfj.sh) S 3401 3403 2496 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 160792045 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3403/statm: 1338 240 201 169 0 49 0
[pid=3406] ppid=3403 vsize=866060 CPUtime=6.13
/proc/3406/stat : 3406 (java) R 3403 3403 2496 0 -1 0 16931 0 1 0 593 20 0 0 25 0 8 0 160792046 886845440 16545 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3406/statm: 216515 16545 1828 14 0 203777 0
[pid=3406/tid=3407] ppid=3403 vsize=866060 CPUtime=0.81
/proc/3406/task/3407/stat : 3407 (java) S 3403 3403 2496 0 -1 64 10807 0 0 0 78 3 0 0 16 0 8 0 160792049 886845440 16545 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3408] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3408/stat : 3408 (java) S 3403 3403 2496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160792049 886845440 16545 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3409] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3409/stat : 3409 (java) S 3403 3403 2496 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160792049 886845440 16545 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3410] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3410/stat : 3410 (java) S 3403 3403 2496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160792053 886845440 16545 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3411] ppid=3403 vsize=866060 CPUtime=0.34
/proc/3406/task/3411/stat : 3411 (java) S 3403 3403 2496 0 -1 64 552 0 0 0 33 1 0 0 15 0 8 0 160792053 886845440 16545 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3412] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3412/stat : 3412 (java) S 3403 3403 2496 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 160792053 886845440 16545 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3413] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3413/stat : 3413 (java) S 3403 3403 2496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160792053 886845440 16545 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 871412

[startup+12.6876 s]
/proc/loadavg: 2.20 2.10 2.07 3/101 3413
/proc/meminfo: memFree=1592112/2055920 swapFree=4191880/4192956
[pid=3403] ppid=3401 vsize=5352 CPUtime=0
/proc/3403/stat : 3403 (cspfj.sh) S 3401 3403 2496 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 160792045 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3403/statm: 1338 240 201 169 0 49 0
[pid=3406] ppid=3403 vsize=866060 CPUtime=12.57
/proc/3406/stat : 3406 (java) R 3403 3403 2496 0 -1 0 26704 0 1 0 1220 37 0 0 25 0 8 0 160792046 886845440 26290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3406/statm: 216515 26290 1828 14 0 203777 0
[pid=3406/tid=3407] ppid=3403 vsize=866060 CPUtime=1.71
/proc/3406/task/3407/stat : 3407 (java) S 3403 3403 2496 0 -1 64 18954 0 0 0 164 7 0 0 16 0 8 0 160792049 886845440 26290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3408] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3408/stat : 3408 (java) S 3403 3403 2496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160792049 886845440 26290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3409] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3409/stat : 3409 (java) S 3403 3403 2496 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160792049 886845440 26290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3410] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3410/stat : 3410 (java) S 3403 3403 2496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160792053 886845440 26290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3411] ppid=3403 vsize=866060 CPUtime=0.35
/proc/3406/task/3411/stat : 3411 (java) S 3403 3403 2496 0 -1 64 552 0 0 0 34 1 0 0 16 0 8 0 160792053 886845440 26290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3412] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3412/stat : 3412 (java) S 3403 3403 2496 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 160792053 886845440 26290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3413] ppid=3403 vsize=866060 CPUtime=0
/proc/3406/task/3413/stat : 3413 (java) S 3403 3403 2496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160792053 886845440 26290 18446744073709551615 134512640 134570532 4294956496 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) 871412

[startup+25.5593 s]
/proc/loadavg: 2.17 2.10 2.07 3/101 3413
/proc/meminfo: memFree=1561456/2055920 swapFree=4191880/4192956
[pid=3403] ppid=3401 vsize=5352 CPUtime=0
/proc/3403/stat : 3403 (cspfj.sh) S 3401 3403 2496 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 160792045 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3403/statm: 1338 240 201 169 0 49 0
[pid=3406] ppid=3403 vsize=866588 CPUtime=25.39
/proc/3406/stat : 3406 (java) R 3403 3403 2496 0 -1 0 33996 0 1 0 2484 55 0 0 25 0 8 0 160792046 887386112 33568 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074208941 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3406/statm: 216647 33568 1834 14 0 203909 0
[pid=3406/tid=3407] ppid=3403 vsize=866588 CPUtime=1.91
/proc/3406/task/3407/stat : 3407 (java) S 3403 3403 2496 0 -1 64 24708 0 0 0 182 9 0 0 16 0 8 0 160792049 887386112 33568 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3408] ppid=3403 vsize=866588 CPUtime=0
/proc/3406/task/3408/stat : 3408 (java) S 3403 3403 2496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160792049 887386112 33568 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3409] ppid=3403 vsize=866588 CPUtime=0
/proc/3406/task/3409/stat : 3409 (java) S 3403 3403 2496 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160792049 887386112 33568 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3410] ppid=3403 vsize=866588 CPUtime=0
/proc/3406/task/3410/stat : 3410 (java) S 3403 3403 2496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160792053 887386112 33568 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3411] ppid=3403 vsize=866588 CPUtime=1.27
/proc/3406/task/3411/stat : 3411 (java) S 3403 3403 2496 0 -1 64 1223 0 0 0 122 5 0 0 16 0 8 0 160792053 887386112 33568 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3412] ppid=3403 vsize=866588 CPUtime=0
/proc/3406/task/3412/stat : 3412 (java) S 3403 3403 2496 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 160792053 887386112 33568 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3413] ppid=3403 vsize=866588 CPUtime=0
/proc/3406/task/3413/stat : 3413 (java) S 3403 3403 2496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160792053 887386112 33568 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 871940

[startup+51.1856 s]
/proc/loadavg: 2.11 2.09 2.07 2/89 3421
/proc/meminfo: memFree=1652680/2055920 swapFree=4191880/4192956
[pid=3403] ppid=3401 vsize=5352 CPUtime=0
/proc/3403/stat : 3403 (cspfj.sh) S 3401 3403 2496 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 160792045 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3403/statm: 1338 240 201 169 0 49 0
[pid=3406] ppid=3403 vsize=870292 CPUtime=50.87
/proc/3406/stat : 3406 (java) S 3403 3403 2496 0 -1 0 37466 0 1 0 5013 74 0 0 16 0 8 0 160792046 891179008 37037 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3406/statm: 217573 37037 1834 14 0 204835 0
[pid=3406/tid=3407] ppid=3403 vsize=870292 CPUtime=1.93
/proc/3406/task/3407/stat : 3407 (java) S 3403 3403 2496 0 -1 64 25336 0 0 0 184 9 0 0 16 0 8 0 160792049 891179008 37037 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3408] ppid=3403 vsize=870292 CPUtime=0
/proc/3406/task/3408/stat : 3408 (java) S 3403 3403 2496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160792049 891179008 37037 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3409] ppid=3403 vsize=870292 CPUtime=0
/proc/3406/task/3409/stat : 3409 (java) S 3403 3403 2496 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160792049 891179008 37037 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3410] ppid=3403 vsize=870292 CPUtime=0
/proc/3406/task/3410/stat : 3410 (java) S 3403 3403 2496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160792053 891179008 37037 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3411] ppid=3403 vsize=870292 CPUtime=4.58
/proc/3406/task/3411/stat : 3411 (java) R 3403 3403 2496 0 -1 64 4027 0 0 0 438 20 0 0 16 0 8 0 160792053 891179008 37037 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3412] ppid=3403 vsize=870292 CPUtime=0
/proc/3406/task/3412/stat : 3412 (java) S 3403 3403 2496 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 160792053 891179008 37037 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3406/tid=3413] ppid=3403 vsize=870292 CPUtime=0
/proc/3406/task/3413/stat : 3413 (java) S 3403 3403 2496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160792053 891179008 37037 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) 875644

Child status: 0
Real time (s): 92.924
CPU time (s): 92.6139
CPU user time (s): 91.4841
CPU system time (s): 1.12983
CPU usage (%): 99.6663
Max. virtual memory (cumulated for all children) (KiB): 880724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.4841
system time used= 1.12983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51848
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= 31324
involuntary context switches= 30943

runsolver used 0.123981 s user time and 0.299954 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Sat Jan  6 22:52:52 UTC 2007


IDJOB= 196536
IDBENCH= 3357
FILE ID= node16/196536-1168123972

PBS_JOBID= 3477161

Free space on /tmp= 66500 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  6ce7ac5fe2095794bf8df2c927925b53

RANDOM SEED= 37036822

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.220
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.220
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:       1701328 kB
Buffers:         45892 kB
Cached:         111488 kB
SwapCached:        448 kB
Active:         209084 kB
Inactive:        89440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1701328 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1444 kB
Writeback:           0 kB
Mapped:         168616 kB
Slab:            40396 kB
Committed_AS:  4882756 kB
PageTables:       2584 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= 66498 MiB



End job on node16 on Sat Jan  6 22:54:25 UTC 2007