Trace number 204507

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 57.7652 58.4208

DiagnosticValue
NODES427

General information on the benchmark

Namefapp/fapp16-20/fapp20/
fapp20-0420-10.xml
MD5SUM23af406adec6a7428a9ed7711c676bb5
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 benchmark2.05869
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables420
Number of constraints4737
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4737
Global constraints used (with number of constraints)

Solver Data (download as text)

58.36	v -2820 2528 -2488 2524 -2504 -2464 -2820 -2260 -2332 -2276 2516 -2464 2556 2272 2716 2544 2780 2808 2588 2616 -2504 -2280 -2556 -2628 2664 -2448 -2292 2572 -2408 2632 2532 2420 -2720 2556 -2688 2808 -2628 2604 2588 2300 2568 2268 -2704 -2392 2608 2676 -2264 2312 -2352 -2492 -2756 2556 2260 2652 -2716 2780 -2224 2612 2532 2688 2608 2628 2748 2676 -2628 -2504 2260 2764 -2516 -2220 2780 2632 2620 2612 2612 2428 2676 2588 2788 2676 2648 2596 2568 -2628 2764 2664 2292 2556 -2292 2484 2312 -2504 2632 2780 2672 -2260 2728 2264 2300 -2820 2508 -2260 -2628 2620 -2704 -2404 2648 2644 2612 2644 2664 2588 2260 2716 2608 -2756 -2392 -2300 2784 -2628 -2456 2776 2780 2500 2756 2516 2784 2588 -2336 2608 2688 -2720 -2820 -2560 2636 -2352 -2556 -2628 2524 2320 -2360 2780 -2556 2392 2408 2620 2736 2652 -2556 2780 2604 -2260 -2556 2240 2260 2636 2728 -2220 2716 2656 2532 2668 2532 -2648 2680 2588 2592 2532 -2392 2508 -2380 2300 -2688 2596 2504 2584 2680 -2716 2652 -2504 2704 2788 -2516 -2820 2448 -2220 2716 2624 2620 2804 -2312 2388 2556 -2260 -2220 2608 -2220 -2820 -2628 2352 2572 2592 -2580 2260 -2464 2556 -2820 2752 -2300 2572 2648 2764 2360 2340 -2344 2660 -2720 2788 -2756 2664 2768 2624 -2484 2716 2608 2664 2780 -2348 2748 2468 2736 2568 2520 2516 -2628 -2416 -2268 2780 2680 2280 2748 -2640 2780 -2400 2568 -2220 -2220 2568 2516 -2260 2768 -2636 2332 2580 -2228 2712 2332 2220 -2516 2652 2332 -2260 2648 2724 2516 2588 -2820 2680 -2220 -2628 -2304 2552 2440 2764 -2492 -2220 -2340 -2756 2628 2672 2592 -2720 -2424 2612 2612 -2716 -2528 2748 2392 2764 -2260 2680 2744 2680 2224 -2820 -2220 -2388 -2820 -2656 -2260 2744 2568 2608 2612 2804 -2420 2648 2588 -2528 2528 2516 2676 2648 -2492 2664 -2820 2712 2680 -2820 2660 2724 2612 2632 -2704 2780 -2720 2468 2516 2372 2272 2664 2804 -2220 -2296 -2400 -2820 -2380 2752 2708 -2304 -2464 -2260 -2480 2804 2488 2340 2632 2528 2636 2596 -2528 -2272 2608 2672 -2720 -2316 2644 2764 2728 -2492 2588 -2332 -2464 -2720 -2220 -2292 2260 -2264 2556 -2628 2764 2756 2308 2680 -2380 2588 2596 2588 2568 2540 -2260 -2780 2776 2756 2624 -2304 -2516 -2716 2264 -2628 -2704 2648 2300 2652 2352 2608 -2492 -2628 2684 2588 2608 -2588 2556 -2516 2780 2796 -2516 -2464 2688 2648 2668 2724 2260 2616 -2352 -2364 -2220 2556 2716 
58.37	s SATISFIABLE
58.37	d NODES 427

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/node7/watcher-204507-1168165990 -o ROOT/results/node7/solver-204507-1168165990 -C 1800 -M 900 /tmp/evaluation/204507-1168165990/cspfj.sh -solver Combo -competition /tmp/evaluation/204507-1168165990/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.92 1.98 1.99 5/98 17343
/proc/meminfo: memFree=1495224/2055920 swapFree=4192812/4192956
[pid=17342] ppid=17340 vsize=5352 CPUtime=0
/proc/17342/stat : 17342 (cspfj.sh) S 17340 17342 16562 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 164994411 5480448 228 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 244671283282 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/17342/statm: 1338 228 191 169 0 49 0
[pid=17344] ppid=17342 vsize=124 CPUtime=0
/proc/17344/stat : 17344 (dirname) R 17342 17342 16562 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 164994412 126976 22 18446744073709551615 4194304 4208292 548682069488 18446744073709551615 244668495125 0 0 4096 0 0 0 0 17 1 0 0
/proc/17344/statm: 31 22 16 3 0 3 0

[startup+0.106272 s]
/proc/loadavg: 1.92 1.98 1.99 5/98 17343
/proc/meminfo: memFree=1495224/2055920 swapFree=4192812/4192956
[pid=17342] ppid=17340 vsize=5352 CPUtime=0
/proc/17342/stat : 17342 (cspfj.sh) S 17340 17342 16562 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 164994411 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.514315 s]
/proc/loadavg: 1.92 1.98 1.99 5/98 17343
/proc/meminfo: memFree=1495224/2055920 swapFree=4192812/4192956
[pid=17342] ppid=17340 vsize=5352 CPUtime=0
/proc/17342/stat : 17342 (cspfj.sh) S 17340 17342 16562 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 164994411 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34041 s]
/proc/loadavg: 2.01 2.00 2.00 4/106 17352
/proc/meminfo: memFree=1480440/2055920 swapFree=4192812/4192956
[pid=17342] ppid=17340 vsize=5352 CPUtime=0
/proc/17342/stat : 17342 (cspfj.sh) S 17340 17342 16562 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 164994411 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1338 240 201 169 0 49 0
[pid=17345] ppid=17342 vsize=865712 CPUtime=1.28
/proc/17345/stat : 17345 (java) R 17342 17342 16562 0 -1 0 6051 0 2 0 122 6 0 0 24 0 8 0 164994413 886489088 5749 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073480506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 216428 5749 1828 14 0 203690 0
[pid=17345/tid=17346] ppid=17342 vsize=865712 CPUtime=0.18
/proc/17345/task/17346/stat : 17346 (java) S 17342 17342 16562 0 -1 64 1962 0 0 0 17 1 0 0 16 0 8 0 164994417 886489088 5749 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17347] ppid=17342 vsize=865712 CPUtime=0
/proc/17345/task/17347/stat : 17347 (java) S 17342 17342 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164994418 886489088 5749 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17342 vsize=865712 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17342 17342 16562 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 164994418 886489088 5749 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17342 vsize=865712 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17342 17342 16562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164994421 886489088 5749 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17342 vsize=865712 CPUtime=0.25
/proc/17345/task/17350/stat : 17350 (java) S 17342 17342 16562 0 -1 64 501 0 0 0 24 1 0 0 15 0 8 0 164994421 886489088 5749 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17342 vsize=865712 CPUtime=0
/proc/17345/task/17351/stat : 17351 (java) S 17342 17342 16562 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164994421 886489088 5749 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17342 vsize=865712 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17342 17342 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164994421 886489088 5749 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 871064

[startup+2.99358 s]
/proc/loadavg: 2.01 2.00 2.00 3/106 17352
/proc/meminfo: memFree=1467448/2055920 swapFree=4192812/4192956
[pid=17342] ppid=17340 vsize=5352 CPUtime=0
/proc/17342/stat : 17342 (cspfj.sh) S 17340 17342 16562 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 164994411 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1338 240 201 169 0 49 0
[pid=17345] ppid=17342 vsize=865900 CPUtime=2.92
/proc/17345/stat : 17345 (java) R 17342 17342 16562 0 -1 0 11120 0 2 0 279 13 0 0 25 0 8 0 164994413 886681600 10778 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155958846 0 2147221247 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 216475 10778 1828 14 0 203737 0
[pid=17345/tid=17346] ppid=17342 vsize=865900 CPUtime=0.45
/proc/17345/task/17346/stat : 17346 (java) S 17342 17342 16562 0 -1 64 6154 0 0 0 43 2 0 0 16 0 8 0 164994417 886681600 10778 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17347] ppid=17342 vsize=865900 CPUtime=0
/proc/17345/task/17347/stat : 17347 (java) S 17342 17342 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164994418 886681600 10778 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17342 vsize=865900 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17342 17342 16562 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 164994418 886681600 10778 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17342 vsize=865900 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17342 17342 16562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164994421 886681600 10778 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17342 vsize=865900 CPUtime=0.3
/proc/17345/task/17350/stat : 17350 (java) S 17342 17342 16562 0 -1 64 530 0 0 0 29 1 0 0 15 0 8 0 164994421 886681600 10778 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17342 vsize=865900 CPUtime=0
/proc/17345/task/17351/stat : 17351 (java) S 17342 17342 16562 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164994421 886681600 10778 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17342 vsize=865900 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17342 17342 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164994421 886681600 10778 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 871252

[startup+6.19891 s]
/proc/loadavg: 2.01 2.00 2.00 3/106 17352
/proc/meminfo: memFree=1428408/2055920 swapFree=4192812/4192956
[pid=17342] ppid=17340 vsize=5352 CPUtime=0
/proc/17342/stat : 17342 (cspfj.sh) S 17340 17342 16562 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 164994411 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1338 240 201 169 0 49 0
[pid=17345] ppid=17342 vsize=866076 CPUtime=6.09
/proc/17345/stat : 17345 (java) R 17342 17342 16562 0 -1 0 20007 0 2 0 585 24 0 0 25 0 8 0 164994413 886861824 19634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073730347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 216519 19634 1828 14 0 203781 0
[pid=17345/tid=17346] ppid=17342 vsize=866076 CPUtime=0.85
/proc/17345/task/17346/stat : 17346 (java) S 17342 17342 16562 0 -1 64 13921 0 0 0 80 5 0 0 16 0 8 0 164994417 886861824 19634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17347] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17347/stat : 17347 (java) S 17342 17342 16562 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 164994418 886861824 19634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17342 17342 16562 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 164994418 886861824 19634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17342 17342 16562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164994421 886861824 19634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17342 vsize=866076 CPUtime=0.36
/proc/17345/task/17350/stat : 17350 (java) S 17342 17342 16562 0 -1 64 556 0 0 0 35 1 0 0 15 0 8 0 164994421 886861824 19634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17351/stat : 17351 (java) S 17342 17342 16562 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164994421 886861824 19634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17342 17342 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164994421 886861824 19634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 871428

[startup+12.6946 s]
/proc/loadavg: 2.00 2.00 2.00 3/106 17352
/proc/meminfo: memFree=1397304/2055920 swapFree=4192812/4192956
[pid=17342] ppid=17340 vsize=5352 CPUtime=0
/proc/17342/stat : 17342 (cspfj.sh) S 17340 17342 16562 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 164994411 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1338 240 201 169 0 49 0
[pid=17345] ppid=17342 vsize=866076 CPUtime=12.52
/proc/17345/stat : 17345 (java) R 17342 17342 16562 0 -1 0 26471 0 2 0 1218 34 0 0 25 0 8 0 164994413 886861824 26085 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072897170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 216519 26085 1833 14 0 203781 0
[pid=17345/tid=17346] ppid=17342 vsize=866076 CPUtime=1.35
/proc/17345/task/17346/stat : 17346 (java) S 17342 17342 16562 0 -1 64 19258 0 0 0 127 8 0 0 16 0 8 0 164994417 886861824 26085 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17347] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17347/stat : 17347 (java) S 17342 17342 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164994418 886861824 26085 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17342 17342 16562 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 164994418 886861824 26085 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17342 17342 16562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164994421 886861824 26085 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17342 vsize=866076 CPUtime=0.72
/proc/17345/task/17350/stat : 17350 (java) S 17342 17342 16562 0 -1 64 760 0 0 0 70 2 0 0 15 0 8 0 164994421 886861824 26085 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17351/stat : 17351 (java) S 17342 17342 16562 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164994421 886861824 26085 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17342 vsize=866076 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17342 17342 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164994421 886861824 26085 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 871428

[startup+25.5609 s]
/proc/loadavg: 2.08 2.02 2.00 3/106 17352
/proc/meminfo: memFree=1394104/2055920 swapFree=4192812/4192956
[pid=17342] ppid=17340 vsize=5352 CPUtime=0
/proc/17342/stat : 17342 (cspfj.sh) S 17340 17342 16562 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 164994411 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1338 240 201 169 0 49 0
[pid=17345] ppid=17342 vsize=866868 CPUtime=25.25
/proc/17345/stat : 17345 (java) R 17342 17342 16562 0 -1 0 27309 0 2 0 2485 40 0 0 25 0 8 0 164994413 887672832 26923 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072897170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 216717 26923 1833 14 0 203979 0
[pid=17345/tid=17346] ppid=17342 vsize=866868 CPUtime=1.35
/proc/17345/task/17346/stat : 17346 (java) S 17342 17342 16562 0 -1 64 19258 0 0 0 127 8 0 0 16 0 8 0 164994417 887672832 26923 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17347] ppid=17342 vsize=866868 CPUtime=0
/proc/17345/task/17347/stat : 17347 (java) S 17342 17342 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164994418 887672832 26923 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17342 vsize=866868 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17342 17342 16562 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 164994418 887672832 26923 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17342 vsize=866868 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17342 17342 16562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164994421 887672832 26923 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17342 vsize=866868 CPUtime=1.89
/proc/17345/task/17350/stat : 17350 (java) S 17342 17342 16562 0 -1 64 1591 0 0 0 182 7 0 0 15 0 8 0 164994421 887672832 26923 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17342 vsize=866868 CPUtime=0
/proc/17345/task/17351/stat : 17351 (java) S 17342 17342 16562 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164994421 887672832 26923 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17342 vsize=866868 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17342 17342 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164994421 887672832 26923 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) 872220

[startup+51.2226 s]
/proc/loadavg: 2.05 2.01 2.00 3/106 17352
/proc/meminfo: memFree=1382328/2055920 swapFree=4192812/4192956
[pid=17342] ppid=17340 vsize=5352 CPUtime=0
/proc/17342/stat : 17342 (cspfj.sh) S 17340 17342 16562 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 164994411 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1338 240 201 169 0 49 0
[pid=17345] ppid=17342 vsize=869376 CPUtime=50.65
/proc/17345/stat : 17345 (java) R 17342 17342 16562 0 -1 0 30216 0 2 0 5013 52 0 0 25 0 8 0 164994413 890241024 29829 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074196717 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 217344 29829 1833 14 0 204606 0
[pid=17345/tid=17346] ppid=17342 vsize=869376 CPUtime=1.37
/proc/17345/task/17346/stat : 17346 (java) S 17342 17342 16562 0 -1 64 20211 0 0 0 129 8 0 0 16 0 8 0 164994417 890241024 29829 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17347] ppid=17342 vsize=869376 CPUtime=0
/proc/17345/task/17347/stat : 17347 (java) S 17342 17342 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164994418 890241024 29829 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17342 vsize=869376 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17342 17342 16562 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 164994418 890241024 29829 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17342 vsize=869376 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17342 17342 16562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164994421 890241024 29829 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17342 vsize=869376 CPUtime=4.26
/proc/17345/task/17350/stat : 17350 (java) S 17342 17342 16562 0 -1 64 3516 0 0 0 410 16 0 0 15 0 8 0 164994421 890241024 29829 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17342 vsize=869376 CPUtime=0
/proc/17345/task/17351/stat : 17351 (java) S 17342 17342 16562 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164994421 890241024 29829 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17342 vsize=869376 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17342 17342 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164994421 890241024 29829 18446744073709551615 134512640 134570532 4294956496 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) 874728

Child status: 0
Real time (s): 58.4208
CPU time (s): 57.7652
CPU user time (s): 57.1523
CPU system time (s): 0.612906
CPU usage (%): 98.8779
Max. virtual memory (cumulated for all children) (KiB): 875700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.1523
system time used= 0.612906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33987
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17964
involuntary context switches= 18953

runsolver used 0.090986 s user time and 0.213967 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Sun Jan  7 10:33:10 UTC 2007


IDJOB= 204507
IDBENCH= 4026
FILE ID= node7/204507-1168165990

PBS_JOBID= 3478298

Free space on /tmp= 66551 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp16-20/fapp20/fapp20-0420-10.xml
COMMAND LINE= /tmp/evaluation/204507-1168165990/cspfj.sh -solver Combo -competition /tmp/evaluation/204507-1168165990/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-204507-1168165990 -o ROOT/results/node7/solver-204507-1168165990 -C 1800 -M 900  /tmp/evaluation/204507-1168165990/cspfj.sh -solver Combo -competition /tmp/evaluation/204507-1168165990/unknown.xml

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  23af406adec6a7428a9ed7711c676bb5

RANDOM SEED= 269315443

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:       1495704 kB
Buffers:         53984 kB
Cached:         112820 kB
SwapCached:          0 kB
Active:         408196 kB
Inactive:        96096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1495704 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             920 kB
Writeback:           0 kB
Mapped:         366436 kB
Slab:            39924 kB
Committed_AS:  5397416 kB
PageTables:       2948 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= 66551 MiB



End job on node7 on Sun Jan  7 10:34:08 UTC 2007