Trace number 1543791

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.17 690.985

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
MD5SUM9a70ac660abd105bceac08fd27643051
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark46.8969
Satisfiable
(Un)Satisfiability was proved
Number of variables380
Number of clauses1615
Sum of the clauses size4845
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31615
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-1543791-1238564214/watcher-1543791-1238564214 -o /tmp/evaluation-result-1543791-1238564214/solver-1543791-1238564214 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543791-1238564214.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.99 1.85 1.45 3/70 9644
/proc/meminfo: memFree=1010880/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=1148 CPUtime=0
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 136 0 0 0 0 0 0 0 18 0 4 0 1129084078 1175552 121 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 287 121 68 163 0 122 0
[pid=9644/tid=9645] ppid=9642 vsize=1148 CPUtime=0
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1129084078 1175552 121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=1148 CPUtime=0
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 46 0 0 0 0 0 0 0 19 0 4 0 1129084078 1175552 121 1992294400 134512640 135180984 4294956208 18446744073709551615 134523800 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=1148 CPUtime=0
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1129084078 1175552 121 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.105925 s]
/proc/loadavg: 1.99 1.85 1.45 3/70 9644
/proc/meminfo: memFree=1010880/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=2304 CPUtime=0.15
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 230 0 0 0 8 7 0 0 18 0 4 0 1129084078 2359296 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 576 215 70 163 0 411 0
[pid=9644/tid=9645] ppid=9642 vsize=2304 CPUtime=0.04
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 29 0 0 0 1 3 0 0 17 0 4 0 1129084078 2359296 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=2304 CPUtime=0.06
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 62 0 0 0 4 2 0 0 16 0 4 0 1129084078 2359296 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=2304 CPUtime=0.03
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 56 0 0 0 2 1 0 0 16 0 4 0 1129084078 2359296 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134528511 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2304

[startup+0.201942 s]
/proc/loadavg: 1.99 1.85 1.45 3/70 9644
/proc/meminfo: memFree=1010880/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=2436 CPUtime=0.31
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 250 0 0 0 17 14 0 0 18 0 4 0 1129084078 2494464 235 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 609 235 70 163 0 444 0
[pid=9644/tid=9645] ppid=9642 vsize=2436 CPUtime=0.07
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 40 0 0 0 1 6 0 0 17 0 4 0 1129084078 2494464 235 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=2436 CPUtime=0.12
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 65 0 0 0 9 3 0 0 16 0 4 0 1129084078 2494464 235 1992294400 134512640 135180984 4294956208 18446744073709551615 134519081 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=2436 CPUtime=0.09
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 62 0 0 0 6 3 0 0 16 0 4 0 1129084078 2494464 235 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 2436

[startup+0.301959 s]
/proc/loadavg: 1.99 1.85 1.45 3/70 9644
/proc/meminfo: memFree=1010880/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=2436 CPUtime=0.46
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 275 0 0 0 26 20 0 0 18 0 4 0 1129084078 2494464 260 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 609 260 70 163 0 444 0
[pid=9644/tid=9645] ppid=9642 vsize=2436 CPUtime=0.12
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 51 0 0 0 2 10 0 0 16 0 4 0 1129084078 2494464 260 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=2436 CPUtime=0.17
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 69 0 0 0 13 4 0 0 17 0 4 0 1129084078 2494464 260 1992294400 134512640 135180984 4294956208 18446744073709551615 134528153 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=2436 CPUtime=0.14
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 72 0 0 0 10 4 0 0 17 0 4 0 1129084078 2494464 260 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2436

[startup+0.701225 s]
/proc/loadavg: 1.99 1.85 1.45 3/70 9644
/proc/meminfo: memFree=1010880/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=2436 CPUtime=1.11
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 353 0 0 0 63 48 0 0 18 0 4 0 1129084078 2494464 338 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 609 338 70 163 0 444 0
[pid=9644/tid=9645] ppid=9642 vsize=2436 CPUtime=0.29
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 101 0 0 0 6 23 0 0 17 0 4 0 1129084078 2494464 338 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=2436 CPUtime=0.41
/proc/9644/task/9646/stat : 9646 (satake) S 9642 9644 9513 0 -1 4194368 73 0 0 0 29 12 0 0 16 0 4 0 1129084078 2494464 338 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9644/tid=9647] ppid=9642 vsize=2436 CPUtime=0.39
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 96 0 0 0 27 12 0 0 16 0 4 0 1129084078 2494464 338 1992294400 134512640 135180984 4294956208 18446744073709551615 134555485 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2436

[startup+1.50118 s]
/proc/loadavg: 1.99 1.85 1.45 4/74 9648
/proc/meminfo: memFree=1009440/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=3620 CPUtime=2.41
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 514 0 0 0 134 107 0 0 18 0 4 0 1129084078 3706880 499 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 905 499 70 163 0 740 0
[pid=9644/tid=9645] ppid=9642 vsize=3620 CPUtime=0.68
/proc/9644/task/9645/stat : 9645 (satake) S 9642 9644 9513 0 -1 4194368 215 0 0 0 14 54 0 0 16 0 4 0 1129084078 3706880 499 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=3620 CPUtime=0.83
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 85 0 0 0 59 24 0 0 17 0 4 0 1129084078 3706880 499 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9647] ppid=9642 vsize=3620 CPUtime=0.87
/proc/9644/task/9647/stat : 9647 (satake) S 9642 9644 9513 0 -1 4194368 131 0 0 0 60 27 0 0 16 0 4 0 1129084078 3706880 499 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 3620

[startup+3.10166 s]
/proc/loadavg: 1.99 1.85 1.45 3/74 9648
/proc/meminfo: memFree=1008352/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=4800 CPUtime=5.06
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 797 0 0 0 282 224 0 0 18 0 4 0 1129084078 4915200 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 1200 782 70 163 0 1035 0
[pid=9644/tid=9645] ppid=9642 vsize=4800 CPUtime=1.39
/proc/9644/task/9645/stat : 9645 (satake) S 9642 9644 9513 0 -1 4194368 441 0 0 0 29 110 0 0 15 0 4 0 1129084078 4915200 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=4800 CPUtime=1.79
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 98 0 0 0 124 55 0 0 16 0 4 0 1129084078 4915200 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=4800 CPUtime=1.86
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 175 0 0 0 128 58 0 0 15 0 4 0 1129084078 4915200 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 4800

[startup+6.30105 s]
/proc/loadavg: 1.99 1.85 1.45 3/74 9648
/proc/meminfo: memFree=1006056/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=7012 CPUtime=10.36
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 1352 0 0 0 580 456 0 0 18 0 4 0 1129084078 7180288 1337 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 1753 1337 70 163 0 1588 0
[pid=9644/tid=9645] ppid=9642 vsize=7012 CPUtime=2.83
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 908 0 0 0 58 225 0 0 16 0 4 0 1129084078 7180288 1337 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=7012 CPUtime=3.69
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 114 0 0 0 255 114 0 0 16 0 4 0 1129084078 7180288 1337 1992294400 134512640 135180984 4294956208 18446744073709551615 134528552 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=7012 CPUtime=3.83
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 247 0 0 0 267 116 0 0 16 0 4 0 1129084078 7180288 1337 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 7012

[startup+12.7024 s]
/proc/loadavg: 2.07 1.87 1.46 2/74 9648
/proc/meminfo: memFree=1001896/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=11400 CPUtime=21.06
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 2366 0 0 0 1186 920 0 0 18 0 4 0 1129084078 11673600 2351 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 2850 2351 70 163 0 2685 0
[pid=9644/tid=9645] ppid=9642 vsize=11400 CPUtime=5.67
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 1734 0 0 0 117 450 0 0 15 0 4 0 1129084078 11673600 2351 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=11400 CPUtime=7.6
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 164 0 0 0 528 232 0 0 15 0 4 0 1129084078 11673600 2351 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9647] ppid=9642 vsize=11400 CPUtime=7.78
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 385 0 0 0 541 237 0 0 16 0 4 0 1129084078 11673600 2351 1992294400 134512640 135180984 4294956208 18446744073709551615 134528872 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.06
Current children cumulated vsize (KiB) 11400

[startup+25.5017 s]
/proc/loadavg: 2.06 1.88 1.47 3/74 9648
/proc/meminfo: memFree=993576/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=19736 CPUtime=42.55
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 4359 0 0 0 2408 1847 0 0 18 0 4 0 1129084078 20209664 4344 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 4934 4344 70 163 0 4769 0
[pid=9644/tid=9645] ppid=9642 vsize=19736 CPUtime=11.36
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 3394 0 0 0 233 903 0 0 15 0 4 0 1129084078 20209664 4344 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=19736 CPUtime=15.41
/proc/9644/task/9646/stat : 9646 (satake) S 9642 9644 9513 0 -1 4194368 251 0 0 0 1078 463 0 0 16 0 4 0 1129084078 20209664 4344 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9644/tid=9647] ppid=9642 vsize=19736 CPUtime=15.75
/proc/9644/task/9647/stat : 9647 (satake) S 9642 9644 9513 0 -1 4194368 631 0 0 0 1096 479 0 0 16 0 4 0 1129084078 20209664 4344 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.55
Current children cumulated vsize (KiB) 19736

[startup+51.1051 s]
/proc/loadavg: 2.23 1.93 1.50 3/74 9648
/proc/meminfo: memFree=978792/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=38020 CPUtime=86.08
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 8126 0 0 0 4965 3643 0 0 18 0 4 0 1129084078 38932480 8111 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 9505 8111 70 163 0 9340 0
[pid=9644/tid=9645] ppid=9642 vsize=38020 CPUtime=22.43
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 6531 0 0 0 463 1780 0 0 16 0 4 0 1129084078 38932480 8111 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=38020 CPUtime=31.53
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 454 0 0 0 2234 919 0 0 16 0 4 0 1129084078 38932480 8111 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=38020 CPUtime=32.09
/proc/9644/task/9647/stat : 9647 (satake) S 9642 9644 9513 0 -1 4194368 1058 0 0 0 2267 942 0 0 15 0 4 0 1129084078 38932480 8111 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 86.08
Current children cumulated vsize (KiB) 38020

[startup+102.303 s]
/proc/loadavg: 2.48 2.05 1.56 3/74 9648
/proc/meminfo: memFree=948648/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=73424 CPUtime=174.02
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 15506 0 0 0 10207 7195 0 0 18 0 4 0 1129084078 75186176 15491 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 18356 15491 70 163 0 18191 0
[pid=9644/tid=9645] ppid=9642 vsize=73424 CPUtime=44.33
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 12321 0 0 0 930 3503 0 0 16 0 4 0 1129084078 75186176 15491 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=73424 CPUtime=64.19
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 1107 0 0 0 4601 1818 0 0 16 0 4 0 1129084078 75186176 15491 1992294400 134512640 135180984 4294956208 18446744073709551615 134532451 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=73424 CPUtime=65.48
/proc/9644/task/9647/stat : 9647 (satake) S 9642 9644 9513 0 -1 4194368 1995 0 0 0 4675 1873 0 0 15 0 4 0 1129084078 75186176 15491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 174.02
Current children cumulated vsize (KiB) 73424

[startup+162.302 s]
/proc/loadavg: 2.45 2.11 1.61 4/74 9648
/proc/meminfo: memFree=915624/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=114192 CPUtime=277.93
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 23800 0 0 0 16405 11388 0 0 18 0 4 0 1129084078 116932608 23785 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 28548 23785 70 163 0 28383 0
[pid=9644/tid=9645] ppid=9642 vsize=114192 CPUtime=69.87
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 18545 0 0 0 1463 5524 0 0 15 0 4 0 1129084078 116932608 23785 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=114192 CPUtime=102.99
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 2047 0 0 0 7404 2895 0 0 16 0 4 0 1129084078 116932608 23785 1992294400 134512640 135180984 4294956208 18446744073709551615 134518580 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=114192 CPUtime=105.05
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 3125 0 0 0 7537 2968 0 0 15 0 4 0 1129084078 116932608 23785 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 277.93
Current children cumulated vsize (KiB) 114192

[startup+222.307 s]
/proc/loadavg: 2.29 2.11 1.64 2/74 9648
/proc/meminfo: memFree=882152/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=150912 CPUtime=382.39
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 32114 0 0 0 22723 15516 0 0 18 0 4 0 1129084078 154533888 32099 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 37728 32099 70 163 0 37563 0
[pid=9644/tid=9645] ppid=9642 vsize=150912 CPUtime=95.35
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 24564 0 0 0 2007 7528 0 0 16 0 4 0 1129084078 154533888 32099 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=150912 CPUtime=142.15
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 3194 0 0 0 10266 3949 0 0 16 0 4 0 1129084078 154533888 32099 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=150912 CPUtime=144.87
/proc/9644/task/9647/stat : 9647 (satake) S 9642 9644 9513 0 -1 4194368 4273 0 0 0 10449 4038 0 0 15 0 4 0 1129084078 154533888 32099 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 382.39
Current children cumulated vsize (KiB) 150912

[startup+282.302 s]
/proc/loadavg: 2.35 2.16 1.68 4/74 9648
/proc/meminfo: memFree=849704/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=190100 CPUtime=487.26
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 40274 0 0 0 29132 19594 0 0 18 0 4 0 1129084078 194662400 40259 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 47525 40259 70 163 0 47360 0
[pid=9644/tid=9645] ppid=9642 vsize=190100 CPUtime=120.6
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 30380 0 0 0 2550 9510 0 0 15 0 4 0 1129084078 194662400 40259 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=190100 CPUtime=181.59
/proc/9644/task/9646/stat : 9646 (satake) S 9642 9644 9513 0 -1 4194368 4395 0 0 0 13168 4991 0 0 15 0 4 0 1129084078 194662400 40259 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=190100 CPUtime=185.05
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 5416 0 0 0 13413 5092 0 0 15 0 4 0 1129084078 194662400 40259 1992294400 134512640 135180984 4294956208 18446744073709551615 134520661 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 487.26
Current children cumulated vsize (KiB) 190100

[startup+342.302 s]
/proc/loadavg: 2.42 2.22 1.73 3/74 9648
/proc/meminfo: memFree=816680/2055920 swapFree=4170584/4192956
[pid=9644] ppid=9642 vsize=232328 CPUtime=591.96
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 48424 0 0 0 35552 23644 0 0 18 0 4 0 1129084078 237903872 48409 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 58082 48409 70 163 0 57917 0
[pid=9644/tid=9645] ppid=9642 vsize=232328 CPUtime=145.6
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 36111 0 0 0 3079 11481 0 0 16 0 4 0 1129084078 237903872 48409 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=232328 CPUtime=221.21
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 5586 0 0 0 16093 6028 0 0 15 0 4 0 1129084078 237903872 48409 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=232328 CPUtime=225.12
/proc/9644/task/9647/stat : 9647 (satake) S 9642 9644 9513 0 -1 4194368 6644 0 0 0 16379 6133 0 0 15 0 4 0 1129084078 237903872 48409 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 591.96
Current children cumulated vsize (KiB) 232328

[startup+402.301 s]
/proc/loadavg: 2.25 2.21 1.76 3/74 9650
/proc/meminfo: memFree=784168/2055920 swapFree=4170592/4192956
[pid=9644] ppid=9642 vsize=274672 CPUtime=696.04
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 56611 0 0 0 41847 27757 0 0 18 0 4 0 1129084078 281264128 56596 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 68668 56596 70 163 0 68503 0
[pid=9644/tid=9645] ppid=9642 vsize=274672 CPUtime=170.96
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 41864 0 0 0 3617 13479 0 0 16 0 4 0 1129084078 281264128 56596 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=274672 CPUtime=260.11
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 6728 0 0 0 18931 7080 0 0 16 0 4 0 1129084078 281264128 56596 1992294400 134512640 135180984 4294956208 18446744073709551615 134523794 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9647] ppid=9642 vsize=274672 CPUtime=264.93
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 7936 0 0 0 19297 7196 0 0 16 0 4 0 1129084078 281264128 56596 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.04
Current children cumulated vsize (KiB) 274672

[startup+462.301 s]
/proc/loadavg: 2.35 2.24 1.79 3/74 9650
/proc/meminfo: memFree=751336/2055920 swapFree=4170592/4192956
[pid=9644] ppid=9642 vsize=309576 CPUtime=800.46
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 64731 0 0 0 48212 31834 0 0 18 0 4 0 1129084078 317005824 64716 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 77394 64716 70 163 0 77229 0
[pid=9644/tid=9645] ppid=9642 vsize=309576 CPUtime=196.01
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 47387 0 0 0 4149 15452 0 0 15 0 4 0 1129084078 317005824 64716 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=309576 CPUtime=299.26
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 7981 0 0 0 21799 8127 0 0 16 0 4 0 1129084078 317005824 64716 1992294400 134512640 135180984 4294956208 18446744073709551615 134522978 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=309576 CPUtime=305.16
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 9280 0 0 0 22262 8254 0 0 16 0 4 0 1129084078 317005824 64716 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 800.46
Current children cumulated vsize (KiB) 309576

[startup+522.301 s]
/proc/loadavg: 2.43 2.29 1.84 4/74 9650
/proc/meminfo: memFree=719784/2055920 swapFree=4170592/4192956
[pid=9644] ppid=9642 vsize=348580 CPUtime=905.27
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 72660 0 0 0 54723 35804 0 0 18 0 4 0 1129084078 356945920 72645 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 87145 72645 70 163 0 86980 0
[pid=9644/tid=9645] ppid=9642 vsize=348580 CPUtime=220.59
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 52621 0 0 0 4678 17381 0 0 16 0 4 0 1129084078 356945920 72645 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9646] ppid=9642 vsize=348580 CPUtime=339.19
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 9404 0 0 0 24761 9158 0 0 15 0 4 0 1129084078 356945920 72645 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9647] ppid=9642 vsize=348580 CPUtime=345.47
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 10552 0 0 0 25283 9264 0 0 16 0 4 0 1129084078 356945920 72645 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 905.27
Current children cumulated vsize (KiB) 348580

[startup+582.301 s]
/proc/loadavg: 2.43 2.31 1.87 3/74 9650
/proc/meminfo: memFree=687208/2055920 swapFree=4170592/4192956
[pid=9644] ppid=9642 vsize=387200 CPUtime=1010.09
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 80733 0 0 0 61174 39835 0 0 18 0 4 0 1129084078 396492800 80718 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 96800 80718 70 163 0 96635 0
[pid=9644/tid=9645] ppid=9642 vsize=387200 CPUtime=245.52
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 57952 0 0 0 5209 19343 0 0 16 0 4 0 1129084078 396492800 80718 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=387200 CPUtime=378.84
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 10756 0 0 0 27695 10189 0 0 15 0 4 0 1129084078 396492800 80718 1992294400 134512640 135180984 4294956208 18446744073709551615 134522992 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9644/tid=9647] ppid=9642 vsize=387200 CPUtime=385.7
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 11942 0 0 0 28269 10301 0 0 17 0 4 0 1129084078 396492800 80718 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1010.09
Current children cumulated vsize (KiB) 387200

[startup+642.303 s]
/proc/loadavg: 2.45 2.33 1.90 3/74 9650
/proc/meminfo: memFree=655272/2055920 swapFree=4170592/4192956
[pid=9644] ppid=9642 vsize=438092 CPUtime=1114.9
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 88759 0 0 0 67623 43867 0 0 18 0 4 0 1129084078 448606208 88744 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 109523 88744 70 163 0 109358 0
[pid=9644/tid=9645] ppid=9642 vsize=438092 CPUtime=270.45
/proc/9644/task/9645/stat : 9645 (satake) R 9642 9644 9513 0 -1 4194368 63165 0 0 0 5738 21307 0 0 16 0 4 0 1129084078 448606208 88744 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=438092 CPUtime=418.64
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 12201 0 0 0 30645 11219 0 0 16 0 4 0 1129084078 448606208 88744 1992294400 134512640 135180984 4294956208 18446744073709551615 134522961 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=438092 CPUtime=425.78
/proc/9644/task/9647/stat : 9647 (satake) S 9642 9644 9513 0 -1 4194368 13310 0 0 0 31238 11340 0 0 16 0 4 0 1129084078 448606208 88744 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1114.9
Current children cumulated vsize (KiB) 438092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+690.907 s]
/proc/loadavg: 2.44 2.34 1.93 3/74 9650
/proc/meminfo: memFree=628904/2055920 swapFree=4170592/4192956
[pid=9644] ppid=9642 vsize=465500 CPUtime=1200.08
/proc/9644/stat : 9644 (satake) S 9642 9644 9513 0 -1 4194304 95200 0 0 0 72952 47056 0 0 18 0 4 0 1129084078 476672000 95185 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9644/statm: 116375 95185 70 163 0 116210 0
[pid=9644/tid=9645] ppid=9642 vsize=465500 CPUtime=290.09
/proc/9644/task/9645/stat : 9645 (satake) S 9642 9644 9513 0 -1 4194368 67246 0 0 0 6156 22853 0 0 16 0 4 0 1129084078 476672000 95185 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9644/tid=9646] ppid=9642 vsize=465500 CPUtime=451.42
/proc/9644/task/9646/stat : 9646 (satake) R 9642 9644 9513 0 -1 4194368 13185 0 0 0 33102 12040 0 0 16 0 4 0 1129084078 476672000 95185 1992294400 134512640 135180984 4294956208 18446744073709551615 134520887 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9644/tid=9647] ppid=9642 vsize=465500 CPUtime=458.56
/proc/9644/task/9647/stat : 9647 (satake) R 9642 9644 9513 0 -1 4194368 14686 0 0 0 33693 12163 0 0 16 0 4 0 1129084078 476672000 95185 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 465500

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): 690.985
CPU time (s): 1200.17
CPU user time (s): 729.534
CPU system time (s): 470.638
CPU usage (%): 173.69
Max. virtual memory (cumulated for all children) (KiB): 465500

deleting IPC queue 1638400
deleting IPC queue 1671169
deleting IPC queue 1703938
deleting IPC queue 1736707
deleting IPC queue 1769476
deleting IPC queue 1802245
deleting IPC queue 1835014
deleting IPC queue 1867783
deleting IPC queue 1900552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 729.534
system time used= 470.638
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95200
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= 19193137
involuntary context switches= 17816417

runsolver used 0.832873 second user time and 2.52262 second system time

The end

Launcher Data 

Begin job on node45 at 2009-04-01 07:36:54
IDJOB=1543791
IDBENCH=70632
IDSOLVER=553
FILE ID=node45/1543791-1238564214
PBS_JOBID= 9062163
Free space on /tmp= 66416 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/380/unif-k3-r4.25-v380-c1615-S260616787-042.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543791-1238564214/watcher-1543791-1238564214 -o /tmp/evaluation-result-1543791-1238564214/solver-1543791-1238564214 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543791-1238564214.cnf 3 1200

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

MD5SUM BENCH= 9a70ac660abd105bceac08fd27643051
RANDOM SEED=2133594107

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1011360 kB
Buffers:        110092 kB
Cached:         826652 kB
SwapCached:      11516 kB
Active:         200876 kB
Inactive:       748868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1011360 kB
SwapTotal:     4192956 kB
SwapFree:      4170584 kB
Dirty:             776 kB
Writeback:           0 kB
Mapped:          18672 kB
Slab:            80120 kB
Committed_AS:  2715228 kB
PageTables:       1900 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= 66416 MiB
End job on node45 at 2009-04-01 07:48:27