Trace number 1543612

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.16 655.857

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
MD5SUMf7bf3a504486cf138c26426940975d5c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.029995
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of clauses2556
Sum of the clauses size12780
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 52556
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-1543612-1238493607/watcher-1543612-1238493607 -o /tmp/evaluation-result-1543612-1238493607/solver-1543612-1238493607 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543612-1238493607.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 3/68 6204
/proc/meminfo: memFree=976448/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=1324 CPUtime=0
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 170 0 0 0 0 0 0 0 18 0 4 0 1122022357 1355776 155 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 330 160 68 163 0 165 0
[pid=6204/tid=6205] ppid=6202 vsize=1320 CPUtime=0
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122022357 1351680 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=1320 CPUtime=0
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 58 0 0 0 0 0 0 0 19 0 4 0 1122022357 1351680 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134536969 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=1320 CPUtime=0
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 27 0 0 0 0 0 0 0 19 0 4 0 1122022357 1351680 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134534836 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.013585 s]
/proc/loadavg: 1.99 1.85 1.50 3/68 6204
/proc/meminfo: memFree=976448/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=3364 CPUtime=0.01
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 200 0 0 0 1 0 0 0 18 0 4 0 1122022357 3444736 185 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 841 185 70 163 0 676 0
[pid=6204/tid=6205] ppid=6202 vsize=3364 CPUtime=0
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 8 0 0 0 0 0 0 0 17 0 4 0 1122022357 3444736 185 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=3364 CPUtime=0
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 61 0 0 0 0 0 0 0 16 0 4 0 1122022357 3444736 185 1992294400 134512640 135180984 4294956208 18446744073709551615 134579745 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=3364 CPUtime=0
/proc/6204/task/6207/stat : 6207 (satake) S 6202 6204 6106 0 -1 4194368 48 0 0 0 0 0 0 0 16 0 4 0 1122022357 3444736 185 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) 3364

[startup+0.103916 s]
/proc/loadavg: 1.99 1.85 1.50 3/68 6204
/proc/meminfo: memFree=976448/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=3628 CPUtime=0.14
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 267 0 0 0 10 4 0 0 18 0 4 0 1122022357 3715072 252 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 907 252 70 163 0 742 0
[pid=6204/tid=6205] ppid=6202 vsize=3628 CPUtime=0.03
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 19 0 0 0 1 2 0 0 18 0 4 0 1122022357 3715072 252 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=3628 CPUtime=0.05
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 86 0 0 0 4 1 0 0 16 0 4 0 1122022357 3715072 252 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=3628 CPUtime=0.05
/proc/6204/task/6207/stat : 6207 (satake) S 6202 6204 6106 0 -1 4194368 79 0 0 0 4 1 0 0 16 0 4 0 1122022357 3715072 252 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 3628

[startup+0.30198 s]
/proc/loadavg: 1.99 1.85 1.50 3/68 6204
/proc/meminfo: memFree=976448/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=3892 CPUtime=0.46
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 333 0 0 0 31 15 0 0 18 0 4 0 1122022357 3985408 318 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 973 319 70 163 0 808 0
[pid=6204/tid=6205] ppid=6202 vsize=3892 CPUtime=0.1
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 34 0 0 0 2 8 0 0 18 0 4 0 1122022357 3985408 319 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=3892 CPUtime=0.17
/proc/6204/task/6206/stat : 6206 (satake) S 6202 6204 6106 0 -1 4194368 110 0 0 0 14 3 0 0 16 0 4 0 1122022357 3985408 319 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6204/tid=6207] ppid=6202 vsize=3892 CPUtime=0.17
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 107 0 0 0 14 3 0 0 16 0 4 0 1122022357 3985408 319 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 3892

[startup+0.702025 s]
/proc/loadavg: 1.99 1.85 1.50 3/68 6204
/proc/meminfo: memFree=976448/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=4156 CPUtime=1.11
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 419 0 0 0 77 34 0 0 18 0 4 0 1122022357 4255744 404 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 1039 404 70 163 0 874 0
[pid=6204/tid=6205] ppid=6202 vsize=4156 CPUtime=0.24
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 67 0 0 0 5 19 0 0 18 0 4 0 1122022357 4255744 404 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6206] ppid=6202 vsize=4156 CPUtime=0.42
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 138 0 0 0 35 7 0 0 17 0 4 0 1122022357 4255744 404 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=4156 CPUtime=0.43
/proc/6204/task/6207/stat : 6207 (satake) S 6202 6204 6106 0 -1 4194368 131 0 0 0 36 7 0 0 17 0 4 0 1122022357 4255744 404 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 4156

[startup+1.50111 s]
/proc/loadavg: 2.07 1.87 1.51 4/72 6208
/proc/meminfo: memFree=974816/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=4688 CPUtime=2.42
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 547 0 0 0 172 70 0 0 18 0 4 0 1122022357 4800512 532 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 1172 532 70 163 0 1007 0
[pid=6204/tid=6205] ppid=6202 vsize=4688 CPUtime=0.47
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 137 0 0 0 10 37 0 0 17 0 4 0 1122022357 4800512 532 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6206] ppid=6202 vsize=4688 CPUtime=0.98
/proc/6204/task/6206/stat : 6206 (satake) S 6202 6204 6106 0 -1 4194368 163 0 0 0 81 17 0 0 16 0 4 0 1122022357 4800512 532 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=4688 CPUtime=0.94
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 164 0 0 0 79 15 0 0 17 0 4 0 1122022357 4800512 532 1992294400 134512640 135180984 4294956208 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 4688

[startup+3.10729 s]
/proc/loadavg: 2.07 1.87 1.51 3/72 6208
/proc/meminfo: memFree=973920/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=5392 CPUtime=5.12
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 799 0 0 0 370 142 0 0 18 0 4 0 1122022357 5521408 784 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 1348 784 70 163 0 1183 0
[pid=6204/tid=6205] ppid=6202 vsize=5392 CPUtime=0.95
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 281 0 0 0 21 74 0 0 18 0 4 0 1122022357 5521408 784 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=5392 CPUtime=2.12
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 208 0 0 0 178 34 0 0 16 0 4 0 1122022357 5521408 784 1992294400 134512640 135180984 4294956208 18446744073709551615 134526430 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=5392 CPUtime=2.02
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 227 0 0 0 169 33 0 0 16 0 4 0 1122022357 5521408 784 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 5392

[startup+6.30184 s]
/proc/loadavg: 2.07 1.87 1.51 3/72 6208
/proc/meminfo: memFree=972128/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=7084 CPUtime=10.53
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 1207 0 0 0 768 285 0 0 18 0 4 0 1122022357 7254016 1192 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 1771 1192 70 163 0 1606 0
[pid=6204/tid=6205] ppid=6202 vsize=7084 CPUtime=1.94
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 573 0 0 0 43 151 0 0 17 0 4 0 1122022357 7254016 1192 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6206] ppid=6202 vsize=7084 CPUtime=4.34
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 260 0 0 0 366 68 0 0 16 0 4 0 1122022357 7254016 1192 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=7084 CPUtime=4.23
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 291 0 0 0 358 65 0 0 16 0 4 0 1122022357 7254016 1192 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.53
Current children cumulated vsize (KiB) 7084

[startup+12.7015 s]
/proc/loadavg: 2.06 1.87 1.52 3/72 6208
/proc/meminfo: memFree=968608/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=10212 CPUtime=21.64
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 2029 0 0 0 1588 576 0 0 18 0 4 0 1122022357 10457088 2014 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 2553 2014 70 163 0 2388 0
[pid=6204/tid=6205] ppid=6202 vsize=10212 CPUtime=3.81
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 1140 0 0 0 84 297 0 0 16 0 4 0 1122022357 10457088 2014 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6206] ppid=6202 vsize=10212 CPUtime=8.97
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 363 0 0 0 756 141 0 0 16 0 4 0 1122022357 10457088 2014 1992294400 134512640 135180984 4294956208 18446744073709551615 134528749 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=10212 CPUtime=8.83
/proc/6204/task/6207/stat : 6207 (satake) S 6202 6204 6106 0 -1 4194368 443 0 0 0 747 136 0 0 15 0 4 0 1122022357 10457088 2014 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.64
Current children cumulated vsize (KiB) 10212

[startup+25.503 s]
/proc/loadavg: 2.05 1.88 1.52 4/72 6208
/proc/meminfo: memFree=962656/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=16116 CPUtime=44.18
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 3475 0 0 0 3253 1165 0 0 18 0 4 0 1122022357 16502784 3460 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 4029 3460 70 163 0 3864 0
[pid=6204/tid=6205] ppid=6202 vsize=16116 CPUtime=7.45
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 2218 0 0 0 164 581 0 0 16 0 4 0 1122022357 16502784 3460 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6206] ppid=6202 vsize=16116 CPUtime=18.43
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 524 0 0 0 1549 294 0 0 16 0 4 0 1122022357 16502784 3460 1992294400 134512640 135180984 4294956208 18446744073709551615 134526773 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=16116 CPUtime=18.29
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 650 0 0 0 1540 289 0 0 15 0 4 0 1122022357 16502784 3460 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 44.18
Current children cumulated vsize (KiB) 16116

[startup+51.1028 s]
/proc/loadavg: 2.02 1.89 1.54 4/72 6208
/proc/meminfo: memFree=952032/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=29020 CPUtime=89.66
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 6170 0 0 0 6686 2280 0 0 18 0 4 0 1122022357 29716480 6155 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 7255 6155 70 163 0 7090 0
[pid=6204/tid=6205] ppid=6202 vsize=29020 CPUtime=14.38
/proc/6204/task/6205/stat : 6205 (satake) S 6202 6204 6106 0 -1 4194368 4215 0 0 0 313 1125 0 0 16 0 4 0 1122022357 29716480 6155 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=29020 CPUtime=37.83
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 947 0 0 0 3201 582 0 0 16 0 4 0 1122022357 29716480 6155 1992294400 134512640 135180984 4294956208 18446744073709551615 134528516 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=29020 CPUtime=37.43
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 925 0 0 0 3172 571 0 0 15 0 4 0 1122022357 29716480 6155 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89.66
Current children cumulated vsize (KiB) 29020

[startup+102.306 s]
/proc/loadavg: 2.20 1.95 1.57 4/72 6214
/proc/meminfo: memFree=931040/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=52836 CPUtime=181.16
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 11332 0 0 0 13566 4550 0 0 18 0 4 0 1122022357 54104064 11317 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 13209 11317 70 163 0 13044 0
[pid=6204/tid=6205] ppid=6202 vsize=52836 CPUtime=28.59
/proc/6204/task/6205/stat : 6205 (satake) S 6202 6204 6106 0 -1 4194368 7970 0 0 0 629 2230 0 0 16 0 4 0 1122022357 54104064 11317 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=52836 CPUtime=76.75
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 1559 0 0 0 6499 1176 0 0 15 0 4 0 1122022357 54104064 11317 1992294400 134512640 135180984 4294956208 18446744073709551615 134519895 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6207] ppid=6202 vsize=52836 CPUtime=75.81
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 1720 0 0 0 6438 1143 0 0 16 0 4 0 1122022357 54104064 11317 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 181.16
Current children cumulated vsize (KiB) 52836

[startup+162.302 s]
/proc/loadavg: 2.24 2.01 1.62 4/72 6214
/proc/meminfo: memFree=908960/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=81112 CPUtime=290.21
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 16892 0 0 0 21923 7098 0 0 18 0 4 0 1122022357 83058688 16877 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 20278 16877 70 163 0 20113 0
[pid=6204/tid=6205] ppid=6202 vsize=81112 CPUtime=44.47
/proc/6204/task/6205/stat : 6205 (satake) S 6202 6204 6106 0 -1 4194368 11698 0 0 0 976 3471 0 0 16 0 4 0 1122022357 83058688 16877 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=81112 CPUtime=123.36
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 2501 0 0 0 10504 1832 0 0 16 0 4 0 1122022357 83058688 16877 1992294400 134512640 135180984 4294956208 18446744073709551615 134523687 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=81112 CPUtime=122.36
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 2610 0 0 0 10442 1794 0 0 15 0 4 0 1122022357 83058688 16877 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 290.21
Current children cumulated vsize (KiB) 81112

[startup+222.303 s]
/proc/loadavg: 2.39 2.09 1.67 3/72 6214
/proc/meminfo: memFree=884832/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=108100 CPUtime=399.03
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 22825 0 0 0 30039 9864 0 0 18 0 4 0 1122022357 110694400 22810 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 27025 22810 70 163 0 26860 0
[pid=6204/tid=6205] ppid=6202 vsize=108100 CPUtime=61.72
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 15541 0 0 0 1358 4814 0 0 15 0 4 0 1122022357 110694400 22810 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6206] ppid=6202 vsize=108100 CPUtime=169.04
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 3517 0 0 0 14369 2535 0 0 17 0 4 0 1122022357 110694400 22810 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=108100 CPUtime=168.26
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 3684 0 0 0 14311 2515 0 0 15 0 4 0 1122022357 110694400 22810 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.03
Current children cumulated vsize (KiB) 108100

[startup+282.302 s]
/proc/loadavg: 2.40 2.14 1.71 3/72 6214
/proc/meminfo: memFree=863968/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=137964 CPUtime=509.86
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 28141 0 0 0 38597 12389 0 0 18 0 4 0 1122022357 141275136 28126 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 34491 28126 70 163 0 34326 0
[pid=6204/tid=6205] ppid=6202 vsize=137964 CPUtime=77.38
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 18964 0 0 0 1701 6037 0 0 16 0 4 0 1122022357 141275136 28126 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6206] ppid=6202 vsize=137964 CPUtime=216.61
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 4566 0 0 0 18473 3188 0 0 15 0 4 0 1122022357 141275136 28126 1992294400 134512640 135180984 4294956208 18446744073709551615 134520902 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6207] ppid=6202 vsize=137964 CPUtime=215.85
/proc/6204/task/6207/stat : 6207 (satake) S 6202 6204 6106 0 -1 4194368 4528 0 0 0 18422 3163 0 0 16 0 4 0 1122022357 141275136 28126 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 509.86
Current children cumulated vsize (KiB) 137964

[startup+342.302 s]
/proc/loadavg: 2.29 2.16 1.74 4/72 6214
/proc/meminfo: memFree=840800/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=163356 CPUtime=619.44
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 33892 0 0 0 46836 15108 0 0 18 0 4 0 1122022357 167276544 33877 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 40839 33877 70 163 0 40674 0
[pid=6204/tid=6205] ppid=6202 vsize=163356 CPUtime=94.54
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 22349 0 0 0 2070 7384 0 0 16 0 4 0 1122022357 167276544 33877 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=163356 CPUtime=262.54
/proc/6204/task/6206/stat : 6206 (satake) S 6202 6204 6106 0 -1 4194368 5908 0 0 0 22386 3868 0 0 16 0 4 0 1122022357 167276544 33877 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=163356 CPUtime=262.34
/proc/6204/task/6207/stat : 6207 (satake) S 6202 6204 6106 0 -1 4194368 5552 0 0 0 22379 3855 0 0 15 0 4 0 1122022357 167276544 33877 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 619.44
Current children cumulated vsize (KiB) 163356

[startup+402.303 s]
/proc/loadavg: 2.46 2.22 1.78 4/72 6214
/proc/meminfo: memFree=819488/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=190512 CPUtime=730.76
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 39191 0 0 0 55451 17625 0 0 18 0 4 0 1122022357 195084288 39176 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 47628 39176 70 163 0 47463 0
[pid=6204/tid=6205] ppid=6202 vsize=190512 CPUtime=110.22
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 25234 0 0 0 2412 8610 0 0 16 0 4 0 1122022357 195084288 39176 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6206] ppid=6202 vsize=190512 CPUtime=310.39
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 7300 0 0 0 26527 4512 0 0 16 0 4 0 1122022357 195084288 39176 1992294400 134512640 135180984 4294956208 18446744073709551615 134526968 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=190512 CPUtime=310.14
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 6574 0 0 0 26511 4503 0 0 15 0 4 0 1122022357 195084288 39176 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 730.76
Current children cumulated vsize (KiB) 190512

[startup+462.305 s]
/proc/loadavg: 2.35 2.24 1.82 4/72 6214
/proc/meminfo: memFree=797536/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=217804 CPUtime=841.26
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 44667 0 0 0 63895 20231 0 0 18 0 4 0 1122022357 223031296 44652 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 54451 44652 70 163 0 54286 0
[pid=6204/tid=6205] ppid=6202 vsize=217804 CPUtime=126.64
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 28691 0 0 0 2778 9886 0 0 16 0 4 0 1122022357 223031296 44652 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=217804 CPUtime=357.55
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 8613 0 0 0 30587 5168 0 0 16 0 4 0 1122022357 223031296 44652 1992294400 134512640 135180984 4294956208 18446744073709551615 134672190 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6207] ppid=6202 vsize=217804 CPUtime=357.05
/proc/6204/task/6207/stat : 6207 (satake) S 6202 6204 6106 0 -1 4194368 7280 0 0 0 30529 5176 0 0 15 0 4 0 1122022357 223031296 44652 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 841.26
Current children cumulated vsize (KiB) 217804

[startup+522.303 s]
/proc/loadavg: 2.37 2.25 1.85 3/72 6214
/proc/meminfo: memFree=775200/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=244708 CPUtime=951.59
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 50248 0 0 0 72203 22956 0 0 18 0 4 0 1122022357 250580992 50233 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 61177 50233 70 163 0 61012 0
[pid=6204/tid=6205] ppid=6202 vsize=244708 CPUtime=143.61
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 32519 0 0 0 3141 11220 0 0 16 0 4 0 1122022357 250580992 50233 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=244708 CPUtime=404.01
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 9515 0 0 0 34541 5860 0 0 15 0 4 0 1122022357 250580992 50233 1992294400 134512640 135180984 4294956208 18446744073709551615 134521127 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6207] ppid=6202 vsize=244708 CPUtime=403.94
/proc/6204/task/6207/stat : 6207 (satake) S 6202 6204 6106 0 -1 4194368 8131 0 0 0 34520 5874 0 0 16 0 4 0 1122022357 250580992 50233 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 951.59
Current children cumulated vsize (KiB) 244708

[startup+582.302 s]
/proc/loadavg: 2.44 2.28 1.88 3/72 6214
/proc/meminfo: memFree=753952/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=271660 CPUtime=1063.5
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 55502 0 0 0 80956 25394 0 0 18 0 4 0 1122022357 278179840 55487 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 67915 55487 70 163 0 67750 0
[pid=6204/tid=6205] ppid=6202 vsize=271660 CPUtime=158.84
/proc/6204/task/6205/stat : 6205 (satake) R 6202 6204 6106 0 -1 4194368 35414 0 0 0 3468 12416 0 0 16 0 4 0 1122022357 278179840 55487 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=271660 CPUtime=452.35
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 10805 0 0 0 38762 6473 0 0 17 0 4 0 1122022357 278179840 55487 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=271660 CPUtime=452.28
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 9200 0 0 0 38724 6504 0 0 16 0 4 0 1122022357 278179840 55487 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1063.5
Current children cumulated vsize (KiB) 271660

[startup+642.307 s]
/proc/loadavg: 2.47 2.32 1.92 3/72 6214
/proc/meminfo: memFree=731744/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=292872 CPUtime=1175.07
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 61007 0 0 0 89472 28035 0 0 18 0 4 0 1122022357 299900928 60992 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 73218 60992 70 163 0 73053 0
[pid=6204/tid=6205] ppid=6202 vsize=292872 CPUtime=175.42
/proc/6204/task/6205/stat : 6205 (satake) S 6202 6204 6106 0 -1 4194368 39317 0 0 0 3834 13708 0 0 16 0 4 0 1122022357 299900928 60992 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=292872 CPUtime=499.86
/proc/6204/task/6206/stat : 6206 (satake) S 6202 6204 6106 0 -1 4194368 11968 0 0 0 42831 7155 0 0 16 0 4 0 1122022357 299900928 60992 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6204/tid=6207] ppid=6202 vsize=292872 CPUtime=499.77
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 9639 0 0 0 42806 7171 0 0 16 0 4 0 1122022357 299900928 60992 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1175.07
Current children cumulated vsize (KiB) 292872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+655.802 s]
/proc/loadavg: 2.44 2.32 1.92 3/72 6214
/proc/meminfo: memFree=726624/2055920 swapFree=4176188/4192956
[pid=6204] ppid=6202 vsize=299632 CPUtime=1200.1
/proc/6204/stat : 6204 (satake) S 6202 6204 6106 0 -1 4194304 62258 0 0 0 91379 28631 0 0 18 0 4 0 1122022357 306823168 62243 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6204/statm: 74908 62243 70 163 0 74743 0
[pid=6204/tid=6205] ppid=6202 vsize=299632 CPUtime=179.15
/proc/6204/task/6205/stat : 6205 (satake) S 6202 6204 6106 0 -1 4194368 40233 0 0 0 3915 14000 0 0 15 0 4 0 1122022357 306823168 62243 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6204/tid=6206] ppid=6202 vsize=299632 CPUtime=510.58
/proc/6204/task/6206/stat : 6206 (satake) R 6202 6204 6106 0 -1 4194368 12042 0 0 0 43747 7311 0 0 16 0 4 0 1122022357 306823168 62243 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6204/tid=6207] ppid=6202 vsize=299632 CPUtime=510.35
/proc/6204/task/6207/stat : 6207 (satake) R 6202 6204 6106 0 -1 4194368 9900 0 0 0 43716 7319 0 0 16 0 4 0 1122022357 306823168 62243 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 299632

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): 655.857
CPU time (s): 1200.16
CPU user time (s): 913.803
CPU system time (s): 286.361
CPU usage (%): 182.992
Max. virtual memory (cumulated for all children) (KiB): 299632

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= 913.803
system time used= 286.361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62259
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= 11501592
involuntary context switches= 10861281

runsolver used 0.878866 second user time and 2.05069 second system time

The end

Launcher Data 

Begin job on node59 at 2009-03-31 12:00:07
IDJOB=1543612
IDBENCH=70453
IDSOLVER=553
FILE ID=node59/1543612-1238493607
PBS_JOBID= 9061904
Free space on /tmp= 66248 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/SATISFIABLE/120/unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543612-1238493607/watcher-1543612-1238493607 -o /tmp/evaluation-result-1543612-1238493607/solver-1543612-1238493607 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543612-1238493607.cnf 3 1200

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

MD5SUM BENCH= f7bf3a504486cf138c26426940975d5c
RANDOM SEED=1916324843

node59.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.209
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.209
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:        976928 kB
Buffers:        110000 kB
Cached:         861060 kB
SwapCached:      10112 kB
Active:         198964 kB
Inactive:       783616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        976928 kB
SwapTotal:     4192956 kB
SwapFree:      4176188 kB
Dirty:             832 kB
Writeback:           0 kB
Mapped:          16664 kB
Slab:            82012 kB
Committed_AS:  3080108 kB
PageTables:       1720 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= 66248 MiB
End job on node59 at 2009-03-31 12:11:05