Trace number 1543872

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.24 651.366

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
MD5SUM534584fc51d8f0ef0254b8dbc8353cc1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.099983
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of clauses2295
Sum of the clauses size6885
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32295
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543872-1238588685/watcher-1543872-1238588685 -o /tmp/evaluation-result-1543872-1238588685/solver-1543872-1238588685 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543872-1238588685.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.83 1.82 1.49 3/76 7516
/proc/meminfo: memFree=1353728/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=1168 CPUtime=0
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 152 0 0 0 0 0 0 0 20 0 4 0 1131529440 1196032 137 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 292 137 68 163 0 127 0
[pid=7516/tid=7517] ppid=7514 vsize=1168 CPUtime=0
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 1131529440 1196032 137 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=1168 CPUtime=0
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 62 0 0 0 0 0 0 0 21 0 4 0 1131529440 1196032 137 1992294400 134512640 135180984 4294956208 18446744073709551615 134528473 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=1168 CPUtime=0
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 4 0 1131529440 1196032 137 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.104539 s]
/proc/loadavg: 1.83 1.82 1.49 3/76 7516
/proc/meminfo: memFree=1353728/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=2600 CPUtime=0.15
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 276 0 0 0 9 6 0 0 20 0 4 0 1131529440 2662400 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 650 261 70 163 0 485 0
[pid=7516/tid=7517] ppid=7514 vsize=2600 CPUtime=0.04
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 28 0 0 0 1 3 0 0 18 0 4 0 1131529440 2662400 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=2600 CPUtime=0.05
/proc/7516/task/7518/stat : 7518 (satake) S 7514 7516 7327 0 -1 4194368 90 0 0 0 4 1 0 0 16 0 4 0 1131529440 2662400 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=2600 CPUtime=0.05
/proc/7516/task/7519/stat : 7519 (satake) S 7514 7516 7327 0 -1 4194368 75 0 0 0 4 1 0 0 17 0 4 0 1131529440 2662400 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2600

[startup+0.202558 s]
/proc/loadavg: 1.83 1.82 1.49 3/76 7516
/proc/meminfo: memFree=1353728/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=2732 CPUtime=0.31
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 310 0 0 0 19 12 0 0 20 0 4 0 1131529440 2797568 295 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 683 295 70 163 0 518 0
[pid=7516/tid=7517] ppid=7514 vsize=2732 CPUtime=0.07
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 37 0 0 0 1 6 0 0 18 0 4 0 1131529440 2797568 295 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7518] ppid=7514 vsize=2732 CPUtime=0.1
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 99 0 0 0 8 2 0 0 16 0 4 0 1131529440 2797568 295 1992294400 134512640 135180984 4294956208 18446744073709551615 134526756 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=2732 CPUtime=0.11
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 91 0 0 0 8 3 0 0 17 0 4 0 1131529440 2797568 295 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 2732

[startup+0.302577 s]
/proc/loadavg: 1.83 1.82 1.49 3/76 7516
/proc/meminfo: memFree=1353728/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=2732 CPUtime=0.47
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 331 0 0 0 31 16 0 0 20 0 4 0 1131529440 2797568 316 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 683 316 70 163 0 518 0
[pid=7516/tid=7517] ppid=7514 vsize=2732 CPUtime=0.11
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 41 0 0 0 3 8 0 0 18 0 4 0 1131529440 2797568 316 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7518] ppid=7514 vsize=2732 CPUtime=0.17
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 102 0 0 0 14 3 0 0 16 0 4 0 1131529440 2797568 316 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=2732 CPUtime=0.18
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 105 0 0 0 14 4 0 0 17 0 4 0 1131529440 2797568 316 1992294400 134512640 135180984 4294956208 18446744073709551615 134528536 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2732

[startup+0.701655 s]
/proc/loadavg: 1.83 1.82 1.49 3/76 7516
/proc/meminfo: memFree=1353728/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=2864 CPUtime=1.13
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 417 0 0 0 76 37 0 0 20 0 4 0 1131529440 2932736 402 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 716 402 70 163 0 551 0
[pid=7516/tid=7517] ppid=7514 vsize=2864 CPUtime=0.26
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 83 0 0 0 7 19 0 0 18 0 4 0 1131529440 2932736 402 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=2864 CPUtime=0.42
/proc/7516/task/7518/stat : 7518 (satake) S 7514 7516 7327 0 -1 4194368 119 0 0 0 35 7 0 0 17 0 4 0 1131529440 2932736 402 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=2864 CPUtime=0.44
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 132 0 0 0 34 10 0 0 16 0 4 0 1131529440 2932736 402 1992294400 134512640 135180984 4294956208 18446744073709551615 134520901 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2864

[startup+1.50181 s]
/proc/loadavg: 1.83 1.82 1.49 3/80 7520
/proc/meminfo: memFree=1351968/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=3128 CPUtime=2.49
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 560 0 0 0 171 78 0 0 20 0 4 0 1131529440 3203072 545 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 782 545 70 163 0 617 0
[pid=7516/tid=7517] ppid=7514 vsize=3128 CPUtime=0.52
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 164 0 0 0 13 39 0 0 16 0 4 0 1131529440 3203072 545 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7518] ppid=7514 vsize=3128 CPUtime=0.96
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 146 0 0 0 79 17 0 0 17 0 4 0 1131529440 3203072 545 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7519] ppid=7514 vsize=3128 CPUtime=0.99
/proc/7516/task/7519/stat : 7519 (satake) S 7514 7516 7327 0 -1 4194368 167 0 0 0 78 21 0 0 16 0 4 0 1131529440 3203072 545 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 3128

[startup+3.10126 s]
/proc/loadavg: 1.83 1.82 1.49 3/80 7520
/proc/meminfo: memFree=1351008/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=4416 CPUtime=5.2
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 821 0 0 0 353 167 0 0 20 0 4 0 1131529440 4521984 806 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 1104 806 70 163 0 939 0
[pid=7516/tid=7517] ppid=7514 vsize=4416 CPUtime=1.15
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 333 0 0 0 24 91 0 0 18 0 4 0 1131529440 4521984 806 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=4416 CPUtime=1.99
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 182 0 0 0 164 35 0 0 16 0 4 0 1131529440 4521984 806 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=4416 CPUtime=2.04
/proc/7516/task/7519/stat : 7519 (satake) S 7514 7516 7327 0 -1 4194368 223 0 0 0 164 40 0 0 16 0 4 0 1131529440 4521984 806 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 4416

[startup+6.30192 s]
/proc/loadavg: 1.85 1.82 1.49 4/80 7520
/proc/meminfo: memFree=1348968/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=6132 CPUtime=10.67
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 1326 0 0 0 714 353 0 0 20 0 4 0 1131529440 6279168 1311 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 1533 1311 70 163 0 1368 0
[pid=7516/tid=7517] ppid=7514 vsize=6132 CPUtime=2.43
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 688 0 0 0 51 192 0 0 19 0 4 0 1131529440 6279168 1311 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=6132 CPUtime=4.08
/proc/7516/task/7518/stat : 7518 (satake) S 7514 7516 7327 0 -1 4194368 220 0 0 0 330 78 0 0 15 0 4 0 1131529440 6279168 1311 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=6132 CPUtime=4.15
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 335 0 0 0 333 82 0 0 15 0 4 0 1131529440 6279168 1311 1992294400 134512640 135180984 4294956208 18446744073709551615 134526964 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 6132

[startup+12.7011 s]
/proc/loadavg: 1.86 1.83 1.49 2/80 7520
/proc/meminfo: memFree=1345000/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=10296 CPUtime=21.72
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 2240 0 0 0 1465 707 0 0 20 0 4 0 1131529440 10543104 2225 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 2574 2225 70 163 0 2409 0
[pid=7516/tid=7517] ppid=7514 vsize=10296 CPUtime=4.9
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 1359 0 0 0 101 389 0 0 18 0 4 0 1131529440 10543104 2225 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=10296 CPUtime=8.33
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 321 0 0 0 679 154 0 0 16 0 4 0 1131529440 10543104 2225 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7519] ppid=7514 vsize=10296 CPUtime=8.47
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 477 0 0 0 684 163 0 0 16 0 4 0 1131529440 10543104 2225 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.72
Current children cumulated vsize (KiB) 10296

[startup+25.5016 s]
/proc/loadavg: 1.96 1.85 1.51 3/80 7520
/proc/meminfo: memFree=1338152/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=17580 CPUtime=44.62
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 3887 0 0 0 3105 1357 0 0 20 0 4 0 1131529440 18001920 3872 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 4395 3872 70 163 0 4230 0
[pid=7516/tid=7517] ppid=7514 vsize=17580 CPUtime=8.9
/proc/7516/task/7517/stat : 7517 (satake) S 7514 7516 7327 0 -1 4194368 2594 0 0 0 185 705 0 0 15 0 4 0 1131529440 18001920 3872 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7516/tid=7518] ppid=7514 vsize=17580 CPUtime=17.82
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 519 0 0 0 1462 320 0 0 15 0 4 0 1131529440 18001920 3872 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7519] ppid=7514 vsize=17580 CPUtime=17.87
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 691 0 0 0 1456 331 0 0 16 0 4 0 1131529440 18001920 3872 1992294400 134512640 135180984 4294956208 18446744073709551615 134528557 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.62
Current children cumulated vsize (KiB) 17580

[startup+51.1024 s]
/proc/loadavg: 2.12 1.89 1.53 3/80 7520
/proc/meminfo: memFree=1325544/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=32880 CPUtime=90.46
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 7088 0 0 0 6319 2727 0 0 20 0 4 0 1131529440 33669120 7073 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 8220 7073 70 163 0 8055 0
[pid=7516/tid=7517] ppid=7514 vsize=32880 CPUtime=17.43
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 5051 0 0 0 370 1373 0 0 16 0 4 0 1131529440 33669120 7073 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=32880 CPUtime=36.46
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 867 0 0 0 2976 670 0 0 16 0 4 0 1131529440 33669120 7073 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=32880 CPUtime=36.55
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 1087 0 0 0 2972 683 0 0 15 0 4 0 1131529440 33669120 7073 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 90.46
Current children cumulated vsize (KiB) 32880

[startup+102.301 s]
/proc/loadavg: 2.20 1.94 1.56 3/80 7520
/proc/meminfo: memFree=1302184/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=59892 CPUtime=183.99
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 12820 0 0 0 13173 5226 0 0 20 0 4 0 1131529440 61329408 12805 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 14973 12805 70 163 0 14808 0
[pid=7516/tid=7517] ppid=7514 vsize=59892 CPUtime=32.93
/proc/7516/task/7517/stat : 7517 (satake) S 7514 7516 7327 0 -1 4194368 9477 0 0 0 706 2587 0 0 16 0 4 0 1131529440 61329408 12805 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=59892 CPUtime=75.46
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 1402 0 0 0 6229 1317 0 0 16 0 4 0 1131529440 61329408 12805 1992294400 134512640 135180984 4294956208 18446744073709551615 134528417 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=59892 CPUtime=75.58
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 1858 0 0 0 6237 1321 0 0 15 0 4 0 1131529440 61329408 12805 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 183.99
Current children cumulated vsize (KiB) 59892

[startup+162.303 s]
/proc/loadavg: 2.12 1.96 1.59 3/80 7520
/proc/meminfo: memFree=1277800/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=88912 CPUtime=295.03
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 18940 0 0 0 21429 8074 0 0 20 0 4 0 1131529440 91045888 18925 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 22228 18925 70 163 0 22063 0
[pid=7516/tid=7517] ppid=7514 vsize=88912 CPUtime=50.43
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 14180 0 0 0 1088 3955 0 0 16 0 4 0 1131529440 91045888 18925 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=88912 CPUtime=122.25
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 2084 0 0 0 10172 2053 0 0 15 0 4 0 1131529440 91045888 18925 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=88912 CPUtime=122.33
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 2593 0 0 0 10168 2065 0 0 16 0 4 0 1131529440 91045888 18925 1992294400 134512640 135180984 4294956208 18446744073709551615 134526441 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 295.03
Current children cumulated vsize (KiB) 88912

[startup+222.306 s]
/proc/loadavg: 2.47 2.09 1.66 3/80 7520
/proc/meminfo: memFree=1252968/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=117816 CPUtime=406.43
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 25115 0 0 0 29715 10928 0 0 20 0 4 0 1131529440 120643584 25100 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 29454 25100 70 163 0 29289 0
[pid=7516/tid=7517] ppid=7514 vsize=117816 CPUtime=68.13
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 18829 0 0 0 1472 5341 0 0 15 0 4 0 1131529440 120643584 25100 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7518] ppid=7514 vsize=117816 CPUtime=168.85
/proc/7516/task/7518/stat : 7518 (satake) S 7514 7516 7327 0 -1 4194368 2832 0 0 0 14092 2793 0 0 17 0 4 0 1131529440 120643584 25100 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=117816 CPUtime=169.44
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 3371 0 0 0 14151 2793 0 0 16 0 4 0 1131529440 120643584 25100 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 406.43
Current children cumulated vsize (KiB) 117816

[startup+282.301 s]
/proc/loadavg: 2.33 2.12 1.69 3/80 7520
/proc/meminfo: memFree=1228840/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=146476 CPUtime=518.03
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 31166 0 0 0 38119 13684 0 0 20 0 4 0 1131529440 149991424 31151 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 36619 31151 70 163 0 36454 0
[pid=7516/tid=7517] ppid=7514 vsize=146476 CPUtime=85.32
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 23120 0 0 0 1856 6676 0 0 16 0 4 0 1131529440 149991424 31151 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7518] ppid=7514 vsize=146476 CPUtime=215.81
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 3754 0 0 0 18081 3500 0 0 16 0 4 0 1131529440 149991424 31151 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=146476 CPUtime=216.88
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 4209 0 0 0 18181 3507 0 0 15 0 4 0 1131529440 149991424 31151 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.03
Current children cumulated vsize (KiB) 146476

[startup+342.302 s]
/proc/loadavg: 2.36 2.17 1.73 3/80 7520
/proc/meminfo: memFree=1205416/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=174312 CPUtime=630.23
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 36989 0 0 0 46646 16377 0 0 20 0 4 0 1131529440 178495488 36974 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 43578 36974 70 163 0 43413 0
[pid=7516/tid=7517] ppid=7514 vsize=174312 CPUtime=102.06
/proc/7516/task/7517/stat : 7517 (satake) S 7514 7516 7327 0 -1 4194368 27297 0 0 0 2231 7975 0 0 16 0 4 0 1131529440 178495488 36974 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=174312 CPUtime=263.25
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 4653 0 0 0 22134 4191 0 0 16 0 4 0 1131529440 178495488 36974 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7519] ppid=7514 vsize=174312 CPUtime=264.89
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 4956 0 0 0 22279 4210 0 0 16 0 4 0 1131529440 178495488 36974 1992294400 134512640 135180984 4294956208 18446744073709551615 134528109 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 630.23
Current children cumulated vsize (KiB) 174312

[startup+402.309 s]
/proc/loadavg: 2.36 2.21 1.77 3/80 7520
/proc/meminfo: memFree=1180328/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=206036 CPUtime=741.12
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 43307 0 0 0 54702 19410 0 0 20 0 4 0 1131529440 210980864 43292 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 51509 43292 70 163 0 51344 0
[pid=7516/tid=7517] ppid=7514 vsize=206036 CPUtime=120.72
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 32009 0 0 0 2638 9434 0 0 16 0 4 0 1131529440 210980864 43292 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7518] ppid=7514 vsize=206036 CPUtime=309.32
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 5475 0 0 0 25959 4973 0 0 16 0 4 0 1131529440 210980864 43292 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=206036 CPUtime=311.05
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 5740 0 0 0 26104 5001 0 0 16 0 4 0 1131529440 210980864 43292 1992294400 134512640 135180984 4294956208 18446744073709551615 134528420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 741.12
Current children cumulated vsize (KiB) 206036

[startup+462.302 s]
/proc/loadavg: 2.42 2.26 1.82 3/80 7520
/proc/meminfo: memFree=1153896/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=237168 CPUtime=851.63
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 49871 0 0 0 62614 22549 0 0 20 0 4 0 1131529440 242860032 49856 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 59292 49856 70 163 0 59127 0
[pid=7516/tid=7517] ppid=7514 vsize=237168 CPUtime=140.05
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 36516 0 0 0 3059 10946 0 0 16 0 4 0 1131529440 242860032 49856 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=237168 CPUtime=354.64
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 6433 0 0 0 29677 5787 0 0 17 0 4 0 1131529440 242860032 49856 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7519] ppid=7514 vsize=237168 CPUtime=356.91
/proc/7516/task/7519/stat : 7519 (satake) S 7514 7516 7327 0 -1 4194368 6839 0 0 0 29876 5815 0 0 15 0 4 0 1131529440 242860032 49856 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 851.63
Current children cumulated vsize (KiB) 237168

[startup+522.303 s]
/proc/loadavg: 2.43 2.28 1.85 3/80 7520
/proc/meminfo: memFree=1127336/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=270028 CPUtime=962.21
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 56494 0 0 0 70537 25684 0 0 20 0 4 0 1131529440 276508672 56479 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 67507 56479 70 163 0 67342 0
[pid=7516/tid=7517] ppid=7514 vsize=270028 CPUtime=159.55
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 40963 0 0 0 3487 12468 0 0 16 0 4 0 1131529440 276508672 56479 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=270028 CPUtime=400.08
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 7461 0 0 0 33420 6588 0 0 16 0 4 0 1131529440 276508672 56479 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7519] ppid=7514 vsize=270028 CPUtime=402.54
/proc/7516/task/7519/stat : 7519 (satake) S 7514 7516 7327 0 -1 4194368 7987 0 0 0 33628 6626 0 0 15 0 4 0 1131529440 276508672 56479 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 962.21
Current children cumulated vsize (KiB) 270028

[startup+582.301 s]
/proc/loadavg: 2.30 2.27 1.87 4/80 7520
/proc/meminfo: memFree=1101032/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=298684 CPUtime=1072.85
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 63047 0 0 0 78463 28822 0 0 20 0 4 0 1131529440 305852416 63032 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 74671 63032 70 163 0 74506 0
[pid=7516/tid=7517] ppid=7514 vsize=298684 CPUtime=178.93
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 45331 0 0 0 3908 13985 0 0 15 0 4 0 1131529440 305852416 63032 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=298684 CPUtime=445.51
/proc/7516/task/7518/stat : 7518 (satake) S 7514 7516 7327 0 -1 4194368 8636 0 0 0 37148 7403 0 0 16 0 4 0 1131529440 305852416 63032 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7516/tid=7519] ppid=7514 vsize=298684 CPUtime=448.38
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 8997 0 0 0 37406 7432 0 0 16 0 4 0 1131529440 305852416 63032 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1072.85
Current children cumulated vsize (KiB) 298684

[startup+642.302 s]
/proc/loadavg: 2.22 2.25 1.89 3/80 7520
/proc/meminfo: memFree=1074728/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=332616 CPUtime=1183.38
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 69649 0 0 0 86373 31965 0 0 20 0 4 0 1131529440 340598784 69634 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 83154 69634 70 163 0 82989 0
[pid=7516/tid=7517] ppid=7514 vsize=332616 CPUtime=198.38
/proc/7516/task/7517/stat : 7517 (satake) R 7514 7516 7327 0 -1 4194368 49556 0 0 0 4334 15504 0 0 16 0 4 0 1131529440 340598784 69634 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7516/tid=7518] ppid=7514 vsize=332616 CPUtime=490.99
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 9869 0 0 0 40893 8206 0 0 16 0 4 0 1131529440 340598784 69634 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7519] ppid=7514 vsize=332616 CPUtime=494.01
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 10141 0 0 0 41146 8255 0 0 15 0 4 0 1131529440 340598784 69634 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1183.38
Current children cumulated vsize (KiB) 332616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+651.307 s]
/proc/loadavg: 2.19 2.24 1.89 3/80 7520
/proc/meminfo: memFree=1071080/2055920 swapFree=4127460/4192956
[pid=7516] ppid=7514 vsize=336528 CPUtime=1200.17
/proc/7516/stat : 7516 (satake) S 7514 7516 7327 0 -1 4194304 70474 0 0 0 87633 32384 0 0 20 0 4 0 1131529440 344604672 70459 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7516/statm: 84132 70459 70 163 0 83967 0
[pid=7516/tid=7517] ppid=7514 vsize=336528 CPUtime=200.94
/proc/7516/task/7517/stat : 7517 (satake) S 7514 7516 7327 0 -1 4194368 50128 0 0 0 4387 15707 0 0 15 0 4 0 1131529440 344604672 70459 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7516/tid=7518] ppid=7514 vsize=336528 CPUtime=498.02
/proc/7516/task/7518/stat : 7518 (satake) R 7514 7516 7327 0 -1 4194368 10016 0 0 0 41489 8313 0 0 16 0 4 0 1131529440 344604672 70459 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7516/tid=7519] ppid=7514 vsize=336528 CPUtime=501.19
/proc/7516/task/7519/stat : 7519 (satake) R 7514 7516 7327 0 -1 4194368 10247 0 0 0 41756 8363 0 0 16 0 4 0 1131529440 344604672 70459 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 336528

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 651.366
CPU time (s): 1200.24
CPU user time (s): 876.346
CPU system time (s): 323.893
CPU usage (%): 184.265
Max. virtual memory (cumulated for all children) (KiB): 336528

deleting IPC queue 2621440
deleting IPC queue 2654209
deleting IPC queue 2686978
deleting IPC queue 2719747
deleting IPC queue 2752516
deleting IPC queue 2785285
deleting IPC queue 2818054
deleting IPC queue 2850823
deleting IPC queue 2883592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 876.346
system time used= 323.893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70475
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= 13174174
involuntary context switches= 12206084

runsolver used 0.965853 second user time and 2.30365 second system time

The end

Launcher Data 

Begin job on node63 at 2009-04-01 14:24:45
IDJOB=1543872
IDBENCH=70713
IDSOLVER=553
FILE ID=node63/1543872-1238588685
PBS_JOBID= 9062250
Free space on /tmp= 66484 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/540/unif-k3-r4.25-v540-c2295-S817309453-059.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543872-1238588685/watcher-1543872-1238588685 -o /tmp/evaluation-result-1543872-1238588685/solver-1543872-1238588685 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543872-1238588685.cnf 3 1200

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

MD5SUM BENCH= 534584fc51d8f0ef0254b8dbc8353cc1
RANDOM SEED=1074143913

node63.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.285
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.285
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:       1354144 kB
Buffers:         96936 kB
Cached:         464328 kB
SwapCached:      55360 kB
Active:         219632 kB
Inactive:       398380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1354144 kB
SwapTotal:     4192956 kB
SwapFree:      4127460 kB
Dirty:             788 kB
Writeback:           0 kB
Mapped:          14576 kB
Slab:            68324 kB
Committed_AS:  3426448 kB
PageTables:       2312 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66484 MiB
End job on node63 at 2009-04-01 14:35:38