Trace number 1562608

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
satake 2009-03-22? (TO) 1200.27 601.781

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
MD5SUM3f38c028c252f031e9505f68e48a880b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables8713
Number of clauses129507
Sum of the clauses size394961
Maximum clause length81
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 240674
Number of clauses of size 367270
Number of clauses of size 410556
Number of clauses of size 510773
Number of clauses of size over 5234

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562608-1238777646/watcher-1562608-1238777646 -o /tmp/evaluation-result-1562608-1238777646/solver-1562608-1238777646 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1562608-1238777646.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.83 1.45 3/81 9497
/proc/meminfo: memFree=1804584/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=4100 CPUtime=0
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 780 0 0 0 0 0 0 0 18 0 4 0 504093487 4198400 765 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 1025 770 65 163 0 860 0
[pid=9497/tid=9498] ppid=9495 vsize=4100 CPUtime=0
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 504093487 4198400 777 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=4100 CPUtime=0
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 707 0 0 0 0 0 0 0 19 0 4 0 504093487 4198400 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134522408 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9497/tid=9500] ppid=9495 vsize=4100 CPUtime=0
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 1 0 0 0 0 0 0 0 19 0 4 0 504093487 4198400 784 1992294400 134512640 135180984 4294956208 18446744073709551615 134693905 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0952619 s]
/proc/loadavg: 1.84 1.83 1.45 3/81 9497
/proc/meminfo: memFree=1804584/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=15836 CPUtime=0.17
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 3396 0 0 0 15 2 0 0 18 0 4 0 504093487 16216064 3367 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 3959 3368 65 163 0 3794 0
[pid=9497/tid=9498] ppid=9495 vsize=15836 CPUtime=0
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 504093487 16216064 3368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=15836 CPUtime=0.08
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 1616 0 0 0 8 0 0 0 16 0 4 0 504093487 16216064 3368 1992294400 134512640 135180984 4294956208 18446744073709551615 134513863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=15836 CPUtime=0.08
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 1691 0 0 0 7 1 0 0 17 0 4 0 504093487 16216064 3368 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 15836

[startup+0.104079 s]
/proc/loadavg: 1.84 1.83 1.45 3/81 9497
/proc/meminfo: memFree=1804584/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=17444 CPUtime=0.19
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 3594 0 0 0 17 2 0 0 18 0 4 0 504093487 17862656 3565 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 4361 3566 65 163 0 4196 0
[pid=9497/tid=9498] ppid=9495 vsize=17444 CPUtime=0
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 504093487 17862656 3566 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=17444 CPUtime=0.08
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 1713 0 0 0 8 0 0 0 16 0 4 0 504093487 17862656 3567 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=17444 CPUtime=0.09
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 1794 0 0 0 8 1 0 0 16 0 4 0 504093487 17862656 3568 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17444

[startup+0.301281 s]
/proc/loadavg: 1.84 1.83 1.45 3/81 9497
/proc/meminfo: memFree=1804584/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=16136 CPUtime=0.58
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 4702 0 0 0 54 4 0 0 18 0 4 0 504093487 16523264 3479 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 4034 3479 70 163 0 3869 0
[pid=9497/tid=9498] ppid=9495 vsize=16136 CPUtime=0
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 156 0 0 0 0 0 0 0 15 0 4 0 504093487 16523264 3479 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=16136 CPUtime=0.28
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 2154 0 0 0 27 1 0 0 16 0 4 0 504093487 16523264 3479 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=16136 CPUtime=0.27
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 2309 0 0 0 26 1 0 0 16 0 4 0 504093487 16523264 3479 1992294400 134512640 135180984 4294956208 18446744073709551615 134521141 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 16136

[startup+0.701323 s]
/proc/loadavg: 1.84 1.83 1.45 3/81 9497
/proc/meminfo: memFree=1804584/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=17952 CPUtime=1.38
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 4989 0 0 0 132 6 0 0 18 0 4 0 504093487 18382848 3766 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 4488 3766 70 163 0 4323 0
[pid=9497/tid=9498] ppid=9495 vsize=17952 CPUtime=0.01
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 156 0 0 0 0 1 0 0 15 0 4 0 504093487 18382848 3766 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=17952 CPUtime=0.67
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 2290 0 0 0 66 1 0 0 16 0 4 0 504093487 18382848 3766 1992294400 134512640 135180984 4294956208 18446744073709551615 134523716 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=17952 CPUtime=0.67
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 2460 0 0 0 65 2 0 0 17 0 4 0 504093487 18382848 3766 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 17952

[startup+1.5014 s]
/proc/loadavg: 1.84 1.83 1.45 3/85 9501
/proc/meminfo: memFree=1789256/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=18744 CPUtime=2.97
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 5261 0 0 0 285 12 0 0 18 0 4 0 504093487 19193856 4038 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 4686 4038 70 163 0 4521 0
[pid=9497/tid=9498] ppid=9495 vsize=18744 CPUtime=0.04
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 162 0 0 0 0 4 0 0 15 0 4 0 504093487 19193856 4038 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=18744 CPUtime=1.45
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 2439 0 0 0 142 3 0 0 17 0 4 0 504093487 19193856 4038 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=18744 CPUtime=1.45
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 2577 0 0 0 142 3 0 0 18 0 4 0 504093487 19193856 4038 1992294400 134512640 135180984 4294956208 18446744073709551615 134518660 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 18744

[startup+3.10156 s]
/proc/loadavg: 1.84 1.83 1.45 3/85 9501
/proc/meminfo: memFree=1787464/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=22068 CPUtime=6.16
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 6122 0 0 0 593 23 0 0 18 0 4 0 504093487 22597632 4899 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 5517 4899 70 163 0 5352 0
[pid=9497/tid=9498] ppid=9495 vsize=22068 CPUtime=0.11
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 179 0 0 0 1 10 0 0 15 0 4 0 504093487 22597632 4899 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=22068 CPUtime=3.01
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 2779 0 0 0 295 6 0 0 17 0 4 0 504093487 22597632 4899 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9497/tid=9500] ppid=9495 vsize=22068 CPUtime=3.02
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 3081 0 0 0 296 6 0 0 17 0 4 0 504093487 22597632 4899 1992294400 134512640 135180984 4294956208 18446744073709551615 134525403 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 22068

[startup+6.30287 s]
/proc/loadavg: 1.85 1.83 1.45 3/85 9501
/proc/meminfo: memFree=1781000/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=26788 CPUtime=12.55
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 7372 0 0 0 1215 40 0 0 18 0 4 0 504093487 27430912 6149 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 6697 6149 70 163 0 6532 0
[pid=9497/tid=9498] ppid=9495 vsize=26788 CPUtime=0.2
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 200 0 0 0 3 17 0 0 15 0 4 0 504093487 27430912 6149 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=26788 CPUtime=6.17
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 3422 0 0 0 606 11 0 0 17 0 4 0 504093487 27430912 6149 1992294400 134512640 135180984 4294956208 18446744073709551615 134528608 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9497/tid=9500] ppid=9495 vsize=26788 CPUtime=6.15
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 3667 0 0 0 605 10 0 0 17 0 4 0 504093487 27430912 6149 1992294400 134512640 135180984 4294956208 18446744073709551615 134524655 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 26788

[startup+12.7015 s]
/proc/loadavg: 1.86 1.83 1.46 3/85 9501
/proc/meminfo: memFree=1771536/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=36604 CPUtime=25.31
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 9683 0 0 0 2463 68 0 0 18 0 4 0 504093487 37482496 8460 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 9151 8460 70 163 0 8986 0
[pid=9497/tid=9498] ppid=9495 vsize=36604 CPUtime=0.36
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 235 0 0 0 7 29 0 0 15 0 4 0 504093487 37482496 8460 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=36604 CPUtime=12.48
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 4719 0 0 0 1229 19 0 0 19 0 4 0 504093487 37482496 8460 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9497/tid=9500] ppid=9495 vsize=36604 CPUtime=12.44
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 4646 0 0 0 1226 18 0 0 17 0 4 0 504093487 37482496 8460 1992294400 134512640 135180984 4294956208 18446744073709551615 134518660 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 36604

[startup+25.5018 s]
/proc/loadavg: 1.89 1.84 1.46 3/85 9501
/proc/meminfo: memFree=1757072/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=49652 CPUtime=50.83
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 13111 0 0 0 4971 112 0 0 18 0 4 0 504093487 50843648 11888 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 12413 11888 70 163 0 12248 0
[pid=9497/tid=9498] ppid=9495 vsize=49652 CPUtime=0.58
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 298 0 0 0 12 46 0 0 15 0 4 0 504093487 50843648 11888 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=49652 CPUtime=25.16
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 6364 0 0 0 2484 32 0 0 24 0 4 0 504093487 50843648 11888 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9497/tid=9500] ppid=9495 vsize=49652 CPUtime=25.06
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 6366 0 0 0 2474 32 0 0 19 0 4 0 504093487 50843648 11888 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 49652

[startup+51.1013 s]
/proc/loadavg: 1.93 1.85 1.47 3/85 9501
/proc/meminfo: memFree=1727568/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=80112 CPUtime=101.88
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 20529 0 0 0 10018 170 0 0 18 0 4 0 504093487 82034688 19306 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 20028 19306 70 163 0 19863 0
[pid=9497/tid=9498] ppid=9495 vsize=80112 CPUtime=0.9
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 378 0 0 0 20 70 0 0 15 0 4 0 504093487 82034688 19306 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=80112 CPUtime=50.59
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 10497 0 0 0 5009 50 0 0 20 0 4 0 504093487 82034688 19306 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=80112 CPUtime=50.37
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 9571 0 0 0 4988 49 0 0 25 0 4 0 504093487 82034688 19306 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 80112

[startup+102.306 s]
/proc/loadavg: 1.97 1.87 1.50 3/85 9501
/proc/meminfo: memFree=1684944/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=122320 CPUtime=204.02
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 31026 0 0 0 20152 250 0 0 18 0 4 0 504093487 125255680 29803 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 30580 29803 70 163 0 30415 0
[pid=9497/tid=9498] ppid=9495 vsize=122320 CPUtime=1.32
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 480 0 0 0 31 101 0 0 15 0 4 0 504093487 125255680 29803 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=122320 CPUtime=101.45
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 15342 0 0 0 10072 73 0 0 25 0 4 0 504093487 125255680 29803 1992294400 134512640 135180984 4294956208 18446744073709551615 134531115 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=122320 CPUtime=101.23
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 15121 0 0 0 10048 75 0 0 25 0 4 0 504093487 125255680 29803 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 122320

[startup+162.301 s]
/proc/loadavg: 1.99 1.89 1.53 3/85 9501
/proc/meminfo: memFree=1640848/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=167160 CPUtime=323.7
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 42140 0 0 0 32050 320 0 0 18 0 4 0 504093487 171171840 40917 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 41790 40917 70 163 0 41625 0
[pid=9497/tid=9498] ppid=9495 vsize=167160 CPUtime=1.67
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 554 0 0 0 40 127 0 0 15 0 4 0 504093487 171171840 40917 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=167160 CPUtime=161.25
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 20841 0 0 0 16032 93 0 0 25 0 4 0 504093487 171171840 40917 1992294400 134512640 135180984 4294956208 18446744073709551615 134528674 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=167160 CPUtime=160.76
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 20662 0 0 0 15977 99 0 0 25 0 4 0 504093487 171171840 40917 1992294400 134512640 135180984 4294956208 18446744073709551615 134528398 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.7
Current children cumulated vsize (KiB) 167160

[startup+222.301 s]
/proc/loadavg: 1.99 1.91 1.56 3/85 9501
/proc/meminfo: memFree=1602896/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=205240 CPUtime=443.37
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 51522 0 0 0 43962 375 0 0 18 0 4 0 504093487 210165760 50299 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 51310 50299 70 163 0 51145 0
[pid=9497/tid=9498] ppid=9495 vsize=205240 CPUtime=1.95
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 621 0 0 0 47 148 0 0 15 0 4 0 504093487 210165760 50299 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=205240 CPUtime=221.08
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 25448 0 0 0 22000 108 0 0 25 0 4 0 504093487 210165760 50299 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=205240 CPUtime=220.33
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 25370 0 0 0 21915 118 0 0 25 0 4 0 504093487 210165760 50299 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.37
Current children cumulated vsize (KiB) 205240

[startup+282.301 s]
/proc/loadavg: 1.99 1.92 1.58 3/85 9501
/proc/meminfo: memFree=1569488/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=237608 CPUtime=563.06
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 59901 0 0 0 55890 416 0 0 18 0 4 0 504093487 243310592 58678 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 59402 58678 70 163 0 59237 0
[pid=9497/tid=9498] ppid=9495 vsize=237608 CPUtime=2.16
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 676 0 0 0 52 164 0 0 15 0 4 0 504093487 243310592 58678 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=237608 CPUtime=280.95
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 29882 0 0 0 27975 120 0 0 25 0 4 0 504093487 243310592 58678 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=237608 CPUtime=279.94
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 29260 0 0 0 27862 132 0 0 25 0 4 0 504093487 243310592 58678 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.06
Current children cumulated vsize (KiB) 237608

[startup+342.301 s]
/proc/loadavg: 1.99 1.93 1.60 3/85 9501
/proc/meminfo: memFree=1532368/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=273892 CPUtime=682.75
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 69115 0 0 0 67819 456 0 0 18 0 4 0 504093487 280465408 67892 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 68473 67892 70 163 0 68308 0
[pid=9497/tid=9498] ppid=9495 vsize=273892 CPUtime=2.32
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 724 0 0 0 56 176 0 0 15 0 4 0 504093487 280465408 67892 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=273892 CPUtime=340.85
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 34570 0 0 0 33952 133 0 0 25 0 4 0 504093487 280465408 67892 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=273892 CPUtime=339.57
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 33738 0 0 0 33811 146 0 0 25 0 4 0 504093487 280465408 67892 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.75
Current children cumulated vsize (KiB) 273892

[startup+402.302 s]
/proc/loadavg: 1.99 1.94 1.63 3/85 9501
/proc/meminfo: memFree=1498832/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=310496 CPUtime=802.45
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 77572 0 0 0 79751 494 0 0 18 0 4 0 504093487 317947904 76349 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 77624 76349 70 163 0 77459 0
[pid=9497/tid=9498] ppid=9495 vsize=310496 CPUtime=2.46
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 762 0 0 0 59 187 0 0 15 0 4 0 504093487 317947904 76349 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=310496 CPUtime=400.76
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 39105 0 0 0 39930 146 0 0 25 0 4 0 504093487 317947904 76349 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=310496 CPUtime=399.21
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 37622 0 0 0 39761 160 0 0 25 0 4 0 504093487 317947904 76349 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.45
Current children cumulated vsize (KiB) 310496

[startup+462.302 s]
/proc/loadavg: 1.99 1.95 1.65 3/85 9507
/proc/meminfo: memFree=1466576/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=341956 CPUtime=922.11
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 85534 0 0 0 91686 525 0 0 18 0 4 0 504093487 350162944 84311 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 85489 84311 70 163 0 85324 0
[pid=9497/tid=9498] ppid=9495 vsize=341956 CPUtime=2.6
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 795 0 0 0 63 197 0 0 15 0 4 0 504093487 350162944 84311 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9497/tid=9499] ppid=9495 vsize=341956 CPUtime=460.66
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 43514 0 0 0 45909 157 0 0 25 0 4 0 504093487 350162944 84311 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=341956 CPUtime=458.84
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 41142 0 0 0 45714 170 0 0 25 0 4 0 504093487 350162944 84311 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.11
Current children cumulated vsize (KiB) 341956

[startup+522.302 s]
/proc/loadavg: 2.04 1.97 1.67 3/85 9507
/proc/meminfo: memFree=1433168/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=375856 CPUtime=1041.8
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 93940 0 0 0 103608 572 0 0 18 0 4 0 504093487 384876544 92717 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 93964 92717 70 163 0 93799 0
[pid=9497/tid=9498] ppid=9495 vsize=375856 CPUtime=2.79
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 814 0 0 0 67 212 0 0 15 0 4 0 504093487 384876544 92717 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=375856 CPUtime=520.52
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 47714 0 0 0 51878 174 0 0 18 0 4 0 504093487 384876544 92717 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=375856 CPUtime=518.47
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 45329 0 0 0 51662 185 0 0 25 0 4 0 504093487 384876544 92717 1992294400 134512640 135180984 4294956208 18446744073709551615 134525340 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.8
Current children cumulated vsize (KiB) 375856

[startup+582.302 s]
/proc/loadavg: 2.01 1.97 1.69 3/85 9507
/proc/meminfo: memFree=1423504/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=383024 CPUtime=1161.47
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 96177 0 0 0 115487 660 0 0 18 0 4 0 504093487 392216576 94954 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 95756 94954 70 163 0 95591 0
[pid=9497/tid=9498] ppid=9495 vsize=383024 CPUtime=3.33
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 825 0 0 0 81 252 0 0 15 0 4 0 504093487 392216576 94954 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=383024 CPUtime=580.23
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 49026 0 0 0 57824 199 0 0 25 0 4 0 504093487 392216576 94954 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=383024 CPUtime=577.9
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 46243 0 0 0 57581 209 0 0 25 0 4 0 504093487 392216576 94954 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.47
Current children cumulated vsize (KiB) 383024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.708 s]
/proc/loadavg: 2.01 1.97 1.69 3/85 9507
/proc/meminfo: memFree=1421136/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=386096 CPUtime=1200.18
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 96771 0 0 0 119333 685 0 0 18 0 4 0 504093487 395362304 95548 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 96524 95548 70 163 0 96359 0
[pid=9497/tid=9498] ppid=9495 vsize=386096 CPUtime=3.47
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 828 0 0 0 85 262 0 0 15 0 4 0 504093487 395362304 95548 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=386096 CPUtime=599.56
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 49266 0 0 0 59751 205 0 0 25 0 4 0 504093487 395362304 95548 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=386096 CPUtime=597.12
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 46594 0 0 0 59496 216 0 0 25 0 4 0 504093487 395362304 95548 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 386096

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+601.708 s]
/proc/loadavg: 2.01 1.97 1.69 3/85 9507
/proc/meminfo: memFree=1421136/2055920 swapFree=4169716/4192956
[pid=9497] ppid=9495 vsize=386096 CPUtime=1200.18
/proc/9497/stat : 9497 (satake) S 9495 9497 9274 0 -1 4194304 96771 0 0 0 119333 685 0 0 18 0 4 0 504093487 395362304 95548 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9497/statm: 96524 95548 70 163 0 96359 0
[pid=9497/tid=9498] ppid=9495 vsize=386096 CPUtime=3.47
/proc/9497/task/9498/stat : 9498 (satake) S 9495 9497 9274 0 -1 4194368 828 0 0 0 85 262 0 0 15 0 4 0 504093487 395362304 95548 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9497/tid=9499] ppid=9495 vsize=386096 CPUtime=599.56
/proc/9497/task/9499/stat : 9499 (satake) R 9495 9497 9274 0 -1 4194368 49266 0 0 0 59751 205 0 0 25 0 4 0 504093487 395362304 95548 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9497/tid=9500] ppid=9495 vsize=386096 CPUtime=597.12
/proc/9497/task/9500/stat : 9500 (satake) R 9495 9497 9274 0 -1 4194368 46594 0 0 0 59496 216 0 0 25 0 4 0 504093487 395362304 95548 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 386096

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.781
CPU time (s): 1200.27
CPU user time (s): 1193.35
CPU system time (s): 6.91595
CPU usage (%): 199.452
Max. virtual memory (cumulated for all children) (KiB): 386096

deleting IPC queue 131072
deleting IPC queue 163841
deleting IPC queue 196610
deleting IPC queue 229379
deleting IPC queue 262148
deleting IPC queue 294917
deleting IPC queue 327686
deleting IPC queue 360455
deleting IPC queue 393224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.35
system time used= 6.91595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 514354
involuntary context switches= 520477

runsolver used 0.714891 second user time and 2.03869 second system time

The end

Launcher Data 

Begin job on node89 at 2009-04-03 18:54:06
IDJOB=1562608
IDBENCH=70937
IDSOLVER=553
FILE ID=node89/1562608-1238777646
PBS_JOBID= 9085562
Free space on /tmp= 66516 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/fbcolors/em_11_3_4_fbc.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562608-1238777646/watcher-1562608-1238777646 -o /tmp/evaluation-result-1562608-1238777646/solver-1562608-1238777646 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1562608-1238777646.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= 3f38c028c252f031e9505f68e48a880b
RANDOM SEED=1736795221

node89.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.240
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.240
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1805000 kB
Buffers:         25992 kB
Cached:         139664 kB
SwapCached:      12436 kB
Active:          70876 kB
Inactive:       108732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1805000 kB
SwapTotal:     4192956 kB
SwapFree:      4169716 kB
Dirty:            3156 kB
Writeback:           0 kB
Mapped:          19604 kB
Slab:            55512 kB
Committed_AS:  1673644 kB
PageTables:       2600 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= 66512 MiB
End job on node89 at 2009-04-03 19:04:10