Trace number 1543596

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 694.683

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
MD5SUMf204ae5b9db3d0db644045bd9b064e28
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.026995
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-1543596-1238493518/watcher-1543596-1238493518 -o /tmp/evaluation-result-1543596-1238493518/solver-1543596-1238493518 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543596-1238493518.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.50 2/64 26287
/proc/meminfo: memFree=1094280/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=1148 CPUtime=0
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 141 0 0 0 0 0 0 0 18 0 4 0 1122017661 1175552 126 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 287 126 68 163 0 122 0
[pid=26287/tid=26288] ppid=26285 vsize=1148 CPUtime=0
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122017661 1175552 126 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=1148 CPUtime=0
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 51 0 0 0 0 0 0 0 19 0 4 0 1122017661 1175552 126 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=1148 CPUtime=0
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1122017661 1175552 126 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0137981 s]
/proc/loadavg: 1.99 1.85 1.50 2/64 26287
/proc/meminfo: memFree=1094280/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=2284 CPUtime=0.01
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 188 0 0 0 1 0 0 0 18 0 4 0 1122017661 2338816 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 571 173 70 163 0 406 0
[pid=26287/tid=26288] ppid=26285 vsize=2284 CPUtime=0
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 11 0 0 0 0 0 0 0 16 0 4 0 1122017661 2338816 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=2284 CPUtime=0
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 53 0 0 0 0 0 0 0 16 0 4 0 1122017661 2338816 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134522604 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=2284 CPUtime=0
/proc/26287/task/26290/stat : 26290 (satake) S 26285 26287 25921 0 -1 4194368 41 0 0 0 0 0 0 0 19 0 4 0 1122017661 2338816 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2284

[startup+0.102805 s]
/proc/loadavg: 1.99 1.85 1.50 2/64 26287
/proc/meminfo: memFree=1094280/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=2548 CPUtime=0.14
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 245 0 0 0 7 7 0 0 18 0 4 0 1122017661 2609152 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 637 230 70 163 0 472 0
[pid=26287/tid=26288] ppid=26285 vsize=2548 CPUtime=0.04
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 27 0 0 0 0 4 0 0 17 0 4 0 1122017661 2609152 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26289] ppid=26285 vsize=2548 CPUtime=0.04
/proc/26287/task/26289/stat : 26289 (satake) S 26285 26287 25921 0 -1 4194368 75 0 0 0 3 1 0 0 16 0 4 0 1122017661 2609152 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=2548 CPUtime=0.05
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 60 0 0 0 3 2 0 0 16 0 4 0 1122017661 2609152 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134524723 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2548

[startup+0.302826 s]
/proc/loadavg: 1.99 1.85 1.50 2/64 26287
/proc/meminfo: memFree=1094280/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=2548 CPUtime=0.45
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 295 0 0 0 24 21 0 0 18 0 4 0 1122017661 2609152 280 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 637 280 70 163 0 472 0
[pid=26287/tid=26288] ppid=26285 vsize=2548 CPUtime=0.12
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 55 0 0 0 1 11 0 0 17 0 4 0 1122017661 2609152 280 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26289] ppid=26285 vsize=2548 CPUtime=0.15
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 88 0 0 0 11 4 0 0 16 0 4 0 1122017661 2609152 280 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=2548 CPUtime=0.16
/proc/26287/task/26290/stat : 26290 (satake) S 26285 26287 25921 0 -1 4194368 69 0 0 0 11 5 0 0 17 0 4 0 1122017661 2609152 280 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2548

[startup+0.702864 s]
/proc/loadavg: 1.99 1.85 1.50 2/64 26287
/proc/meminfo: memFree=1094280/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=2688 CPUtime=1.09
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 391 0 0 0 58 51 0 0 18 0 4 0 1122017661 2752512 376 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 672 376 70 163 0 507 0
[pid=26287/tid=26288] ppid=26285 vsize=2688 CPUtime=0.33
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 122 0 0 0 6 27 0 0 17 0 4 0 1122017661 2752512 376 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=2688 CPUtime=0.36
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 102 0 0 0 26 10 0 0 16 0 4 0 1122017661 2752512 376 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=2688 CPUtime=0.38
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 84 0 0 0 26 12 0 0 16 0 4 0 1122017661 2752512 376 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2688

[startup+1.50112 s]
/proc/loadavg: 1.99 1.85 1.50 3/68 26291
/proc/meminfo: memFree=1092776/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=3880 CPUtime=2.38
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 548 0 0 0 125 113 0 0 18 0 4 0 1122017661 3973120 533 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 970 533 70 163 0 805 0
[pid=26287/tid=26288] ppid=26285 vsize=3880 CPUtime=0.74
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 244 0 0 0 12 62 0 0 16 0 4 0 1122017661 3973120 533 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26289] ppid=26285 vsize=3880 CPUtime=0.81
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 121 0 0 0 56 25 0 0 16 0 4 0 1122017661 3973120 533 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=3880 CPUtime=0.81
/proc/26287/task/26290/stat : 26290 (satake) S 26285 26287 25921 0 -1 4194368 100 0 0 0 56 25 0 0 16 0 4 0 1122017661 3973120 533 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 3880

[startup+3.10208 s]
/proc/loadavg: 1.99 1.85 1.50 4/68 26291
/proc/meminfo: memFree=1091752/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=5068 CPUtime=4.98
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 857 0 0 0 262 236 0 0 18 0 4 0 1122017661 5189632 842 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 1267 842 70 163 0 1102 0
[pid=26287/tid=26288] ppid=26285 vsize=5068 CPUtime=1.5
/proc/26287/task/26288/stat : 26288 (satake) S 26285 26287 25921 0 -1 4194368 501 0 0 0 29 121 0 0 15 0 4 0 1122017661 5189632 842 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=5068 CPUtime=1.76
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 148 0 0 0 118 58 0 0 16 0 4 0 1122017661 5189632 842 1992294400 134512640 135180984 4294956208 18446744073709551615 134526456 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=5068 CPUtime=1.7
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 125 0 0 0 114 56 0 0 16 0 4 0 1122017661 5189632 842 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 5068

[startup+6.30259 s]
/proc/loadavg: 1.99 1.85 1.50 3/68 26291
/proc/meminfo: memFree=1089128/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=7412 CPUtime=10.23
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 1402 0 0 0 536 487 0 0 18 0 4 0 1122017661 7589888 1387 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 1853 1387 70 163 0 1688 0
[pid=26287/tid=26288] ppid=26285 vsize=7412 CPUtime=3.01
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 970 0 0 0 58 243 0 0 15 0 4 0 1122017661 7589888 1387 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26289] ppid=26285 vsize=7412 CPUtime=3.64
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 184 0 0 0 240 124 0 0 16 0 4 0 1122017661 7589888 1387 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=7412 CPUtime=3.55
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 165 0 0 0 236 119 0 0 16 0 4 0 1122017661 7589888 1387 1992294400 134512640 135180984 4294956208 18446744073709551615 134526235 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.23
Current children cumulated vsize (KiB) 7412

[startup+12.7022 s]
/proc/loadavg: 2.07 1.88 1.51 3/68 26291
/proc/meminfo: memFree=1084968/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=11728 CPUtime=20.79
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 2416 0 0 0 1095 984 0 0 18 0 4 0 1122017661 12009472 2401 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 2932 2401 70 163 0 2767 0
[pid=26287/tid=26288] ppid=26285 vsize=11728 CPUtime=6.01
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 1844 0 0 0 121 480 0 0 15 0 4 0 1122017661 12009472 2401 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=11728 CPUtime=7.46
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 265 0 0 0 491 255 0 0 16 0 4 0 1122017661 12009472 2401 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=11728 CPUtime=7.31
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 224 0 0 0 482 249 0 0 15 0 4 0 1122017661 12009472 2401 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.79
Current children cumulated vsize (KiB) 11728

[startup+25.5024 s]
/proc/loadavg: 2.13 1.90 1.52 3/68 26291
/proc/meminfo: memFree=1076776/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=21752 CPUtime=42.05
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 4449 0 0 0 2254 1951 0 0 18 0 4 0 1122017661 22274048 4434 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 5438 4434 70 163 0 5273 0
[pid=26287/tid=26288] ppid=26285 vsize=21752 CPUtime=11.84
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 3555 0 0 0 236 948 0 0 16 0 4 0 1122017661 22274048 4434 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26289] ppid=26285 vsize=21752 CPUtime=15.16
/proc/26287/task/26289/stat : 26289 (satake) S 26285 26287 25921 0 -1 4194368 405 0 0 0 1010 506 0 0 15 0 4 0 1122017661 22274048 4434 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=21752 CPUtime=15.03
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 406 0 0 0 1007 496 0 0 16 0 4 0 1122017661 22274048 4434 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.05
Current children cumulated vsize (KiB) 21752

[startup+51.1029 s]
/proc/loadavg: 2.08 1.90 1.54 2/68 26291
/proc/meminfo: memFree=1061608/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=40700 CPUtime=85.12
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 8259 0 0 0 4541 3971 0 0 18 0 4 0 1122017661 41676800 8244 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 10175 8244 70 163 0 10010 0
[pid=26287/tid=26288] ppid=26285 vsize=40700 CPUtime=24.18
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 6396 0 0 0 485 1933 0 0 15 0 4 0 1122017661 41676800 8244 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26289] ppid=26285 vsize=40700 CPUtime=30.48
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 899 0 0 0 2023 1025 0 0 16 0 4 0 1122017661 41676800 8244 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=40700 CPUtime=30.44
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 881 0 0 0 2032 1012 0 0 16 0 4 0 1122017661 41676800 8244 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.12
Current children cumulated vsize (KiB) 40700

[startup+102.307 s]
/proc/loadavg: 2.29 1.98 1.58 3/68 26291
/proc/meminfo: memFree=1031016/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=77768 CPUtime=172.21
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 15800 0 0 0 9224 7997 0 0 18 0 4 0 1122017661 79634432 15785 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 19442 15785 70 163 0 19277 0
[pid=26287/tid=26288] ppid=26285 vsize=77768 CPUtime=48.46
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 11718 0 0 0 965 3881 0 0 16 0 4 0 1122017661 79634432 15785 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=77768 CPUtime=61.79
/proc/26287/task/26289/stat : 26289 (satake) S 26285 26287 25921 0 -1 4194368 2028 0 0 0 4123 2056 0 0 16 0 4 0 1122017661 79634432 15785 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=77768 CPUtime=61.94
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 1971 0 0 0 4135 2059 0 0 15 0 4 0 1122017661 79634432 15785 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 172.21
Current children cumulated vsize (KiB) 77768

[startup+162.303 s]
/proc/loadavg: 2.44 2.07 1.64 3/68 26297
/proc/meminfo: memFree=996904/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=115480 CPUtime=274.77
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 24356 0 0 0 15030 12447 0 0 18 0 4 0 1122017661 118251520 24341 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 28870 24341 70 163 0 28705 0
[pid=26287/tid=26288] ppid=26285 vsize=115480 CPUtime=75.49
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 17585 0 0 0 1527 6022 0 0 16 0 4 0 1122017661 118251520 24341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=115480 CPUtime=99.5
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 3433 0 0 0 6746 3204 0 0 15 0 4 0 1122017661 118251520 24341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=115480 CPUtime=99.75
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 3255 0 0 0 6755 3220 0 0 16 0 4 0 1122017661 118251520 24341 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 274.77
Current children cumulated vsize (KiB) 115480

[startup+222.307 s]
/proc/loadavg: 2.26 2.08 1.66 2/68 26297
/proc/meminfo: memFree=962728/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=158384 CPUtime=377.98
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 32808 0 0 0 20945 16853 0 0 18 0 4 0 1122017661 162185216 32793 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 39596 32793 70 163 0 39431 0
[pid=26287/tid=26288] ppid=26285 vsize=158384 CPUtime=102.22
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 23089 0 0 0 2073 8149 0 0 15 0 4 0 1122017661 162185216 32793 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26289] ppid=26285 vsize=158384 CPUtime=137.54
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 5004 0 0 0 9408 4346 0 0 16 0 4 0 1122017661 162185216 32793 1992294400 134512640 135180984 4294956208 18446744073709551615 134528658 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=158384 CPUtime=138.21
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 4632 0 0 0 9463 4358 0 0 15 0 4 0 1122017661 162185216 32793 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 377.98
Current children cumulated vsize (KiB) 158384

[startup+282.303 s]
/proc/loadavg: 2.43 2.16 1.72 3/68 26297
/proc/meminfo: memFree=928424/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=198244 CPUtime=481.53
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 41461 0 0 0 26686 21467 0 0 18 0 4 0 1122017661 203001856 41446 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 49561 41446 70 163 0 49396 0
[pid=26287/tid=26288] ppid=26285 vsize=198244 CPUtime=130.06
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 28471 0 0 0 2635 10371 0 0 15 0 4 0 1122017661 203001856 41446 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=198244 CPUtime=175.27
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 6558 0 0 0 11991 5536 0 0 16 0 4 0 1122017661 203001856 41446 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=198244 CPUtime=176.18
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 6349 0 0 0 12059 5559 0 0 16 0 4 0 1122017661 203001856 41446 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 481.53
Current children cumulated vsize (KiB) 198244

[startup+342.303 s]
/proc/loadavg: 2.34 2.18 1.75 4/68 26297
/proc/meminfo: memFree=893672/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=244300 CPUtime=585.36
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 50032 0 0 0 32578 25958 0 0 18 0 4 0 1122017661 250163200 50017 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 61075 50017 70 163 0 60910 0
[pid=26287/tid=26288] ppid=26285 vsize=244300 CPUtime=157.28
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 33785 0 0 0 3201 12527 0 0 16 0 4 0 1122017661 250163200 50017 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26289] ppid=26285 vsize=244300 CPUtime=213.42
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 8092 0 0 0 14643 6699 0 0 15 0 4 0 1122017661 250163200 50017 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=244300 CPUtime=214.64
/proc/26287/task/26290/stat : 26290 (satake) S 26285 26287 25921 0 -1 4194368 8072 0 0 0 14733 6731 0 0 16 0 4 0 1122017661 250163200 50017 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 585.36
Current children cumulated vsize (KiB) 244300

[startup+402.302 s]
/proc/loadavg: 2.33 2.20 1.78 4/68 26297
/proc/meminfo: memFree=860648/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=286820 CPUtime=690.05
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 58417 0 0 0 38667 30338 0 0 18 0 4 0 1122017661 293703680 58402 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 71705 58402 70 163 0 71540 0
[pid=26287/tid=26288] ppid=26285 vsize=286820 CPUtime=183.81
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 38781 0 0 0 3745 14636 0 0 15 0 4 0 1122017661 293703680 58402 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=286820 CPUtime=252.53
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 9893 0 0 0 17426 7827 0 0 15 0 4 0 1122017661 293703680 58402 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26287/tid=26290] ppid=26285 vsize=286820 CPUtime=253.69
/proc/26287/task/26290/stat : 26290 (satake) S 26285 26287 25921 0 -1 4194368 9660 0 0 0 17495 7874 0 0 16 0 4 0 1122017661 293703680 58402 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 690.05
Current children cumulated vsize (KiB) 286820

[startup+462.301 s]
/proc/loadavg: 2.25 2.21 1.81 3/68 26297
/proc/meminfo: memFree=826472/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=325144 CPUtime=794.17
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 66826 0 0 0 44615 34802 0 0 18 0 4 0 1122017661 332947456 66811 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 81286 66811 70 163 0 81121 0
[pid=26287/tid=26288] ppid=26285 vsize=325144 CPUtime=210.73
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 43852 0 0 0 4299 16774 0 0 16 0 4 0 1122017661 332947456 66811 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=325144 CPUtime=291.7
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 11698 0 0 0 20170 9000 0 0 16 0 4 0 1122017661 332947456 66811 1992294400 134512640 135180984 4294956208 18446744073709551615 134527266 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=325144 CPUtime=291.72
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 11193 0 0 0 20145 9027 0 0 15 0 4 0 1122017661 332947456 66811 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 794.17
Current children cumulated vsize (KiB) 325144

[startup+522.304 s]
/proc/loadavg: 2.38 2.25 1.84 3/68 26297
/proc/meminfo: memFree=793384/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=366908 CPUtime=899.09
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 75154 0 0 0 50825 39084 0 0 18 0 4 0 1122017661 375713792 75139 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 91727 75139 70 163 0 91562 0
[pid=26287/tid=26288] ppid=26285 vsize=366908 CPUtime=236.77
/proc/26287/task/26288/stat : 26288 (satake) S 26285 26287 25921 0 -1 4194368 48786 0 0 0 4841 18836 0 0 15 0 4 0 1122017661 375713792 75139 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26287/tid=26289] ppid=26285 vsize=366908 CPUtime=331.25
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 13506 0 0 0 23017 10108 0 0 16 0 4 0 1122017661 375713792 75139 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=366908 CPUtime=331.05
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 12779 0 0 0 22966 10139 0 0 16 0 4 0 1122017661 375713792 75139 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 899.09
Current children cumulated vsize (KiB) 366908

[startup+582.304 s]
/proc/loadavg: 2.52 2.31 1.89 3/68 26297
/proc/meminfo: memFree=760360/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=399240 CPUtime=1004.27
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 83335 0 0 0 57063 43364 0 0 18 0 4 0 1122017661 408821760 83320 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 99810 83320 70 163 0 99645 0
[pid=26287/tid=26288] ppid=26285 vsize=399240 CPUtime=262.76
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 53638 0 0 0 5377 20899 0 0 16 0 4 0 1122017661 408821760 83320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=399240 CPUtime=370.25
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 15218 0 0 0 25820 11205 0 0 15 0 4 0 1122017661 408821760 83320 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=399240 CPUtime=371.24
/proc/26287/task/26290/stat : 26290 (satake) S 26285 26287 25921 0 -1 4194368 14396 0 0 0 25865 11259 0 0 16 0 4 0 1122017661 408821760 83320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1004.27
Current children cumulated vsize (KiB) 399240

[startup+642.302 s]
/proc/loadavg: 2.47 2.31 1.91 3/68 26297
/proc/meminfo: memFree=726888/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=436900 CPUtime=1109.28
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 91619 0 0 0 63198 47730 0 0 18 0 4 0 1122017661 447385600 91604 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 109225 91604 70 163 0 109060 0
[pid=26287/tid=26288] ppid=26285 vsize=436900 CPUtime=289.24
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 58527 0 0 0 5928 22996 0 0 16 0 4 0 1122017661 447385600 91604 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=436900 CPUtime=409.46
/proc/26287/task/26289/stat : 26289 (satake) S 26285 26287 25921 0 -1 4194368 16946 0 0 0 28607 12339 0 0 16 0 4 0 1122017661 447385600 91604 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=436900 CPUtime=410.55
/proc/26287/task/26290/stat : 26290 (satake) S 26285 26287 25921 0 -1 4194368 16063 0 0 0 28661 12394 0 0 15 0 4 0 1122017661 447385600 91604 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1109.28
Current children cumulated vsize (KiB) 436900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+694.602 s]
/proc/loadavg: 2.22 2.26 1.91 4/68 26297
/proc/meminfo: memFree=697064/2055920 swapFree=4178100/4192956
[pid=26287] ppid=26285 vsize=484988 CPUtime=1200.15
/proc/26287/stat : 26287 (satake) S 26285 26287 25921 0 -1 4194304 99011 0 0 0 68370 51645 0 0 18 0 4 0 1122017661 496627712 98996 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26287/statm: 121247 98996 70 163 0 121082 0
[pid=26287/tid=26288] ppid=26285 vsize=484988 CPUtime=312.87
/proc/26287/task/26288/stat : 26288 (satake) R 26285 26287 25921 0 -1 4194368 62978 0 0 0 6408 24879 0 0 15 0 4 0 1122017661 496627712 98996 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26289] ppid=26285 vsize=484988 CPUtime=443.19
/proc/26287/task/26289/stat : 26289 (satake) R 26285 26287 25921 0 -1 4194368 18446 0 0 0 30962 13357 0 0 16 0 4 0 1122017661 496627712 98996 1992294400 134512640 135180984 4294956208 18446744073709551615 134523985 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26287/tid=26290] ppid=26285 vsize=484988 CPUtime=444.06
/proc/26287/task/26290/stat : 26290 (satake) R 26285 26287 25921 0 -1 4194368 17504 0 0 0 30998 13408 0 0 16 0 4 0 1122017661 496627712 98996 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 484988

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): 694.683
CPU time (s): 1200.24
CPU user time (s): 683.709
CPU system time (s): 516.527
CPU usage (%): 172.775
Max. virtual memory (cumulated for all children) (KiB): 484988

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 720900
deleting IPC queue 753669
deleting IPC queue 786438
deleting IPC queue 819207
deleting IPC queue 851976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 683.709
system time used= 516.527
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99012
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= 21304958
involuntary context switches= 18861651

runsolver used 0.804877 second user time and 2.16667 second system time

The end

Launcher Data 

Begin job on node18 at 2009-03-31 11:58:38
IDJOB=1543596
IDBENCH=70437
IDSOLVER=553
FILE ID=node18/1543596-1238493518
PBS_JOBID= 9061875
Free space on /tmp= 66224 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/SATISFIABLE/100/unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543596-1238493518/watcher-1543596-1238493518 -o /tmp/evaluation-result-1543596-1238493518/solver-1543596-1238493518 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543596-1238493518.cnf 3 1200

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

MD5SUM BENCH= f204ae5b9db3d0db644045bd9b064e28
RANDOM SEED=1468726542

node18.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.214
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.214
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:       1094696 kB
Buffers:        108348 kB
Cached:         747328 kB
SwapCached:       8808 kB
Active:         174456 kB
Inactive:       691868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1094696 kB
SwapTotal:     4192956 kB
SwapFree:      4178100 kB
Dirty:             792 kB
Writeback:           0 kB
Mapped:          16352 kB
Slab:            80876 kB
Committed_AS:  3094524 kB
PageTables:       1376 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= 66224 MiB
End job on node18 at 2009-03-31 12:10:14