Trace number 1543670

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.25 624.751

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
MD5SUMe8f7903d690618b3eb32880d64fd6acf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.13483
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 56230

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-1543670-1238494217/watcher-1543670-1238494217 -o /tmp/evaluation-result-1543670-1238494217/solver-1543670-1238494217 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543670-1238494217.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: 2.12 2.24 1.91 2/64 6817
/proc/meminfo: memFree=1414920/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=1308 CPUtime=0
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 170 0 0 0 0 0 0 0 18 0 4 0 1122087381 1339392 155 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 327 155 65 163 0 162 0
[pid=6817/tid=6818] ppid=6815 vsize=1308 CPUtime=0
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122087381 1339392 156 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=1308 CPUtime=0
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 81 0 0 0 0 0 0 0 19 0 4 0 1122087381 1339392 156 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=1308 CPUtime=0
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1122087381 1339392 157 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.060218 s]
/proc/loadavg: 2.12 2.24 1.91 2/64 6817
/proc/meminfo: memFree=1414920/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=3772 CPUtime=0.09
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 425 0 0 0 8 1 0 0 18 0 4 0 1122087381 3862528 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 943 332 70 163 0 778 0
[pid=6817/tid=6818] ppid=6815 vsize=3772 CPUtime=0
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 4 0 1122087381 3862528 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=3772 CPUtime=0.04
/proc/6817/task/6819/stat : 6819 (satake) S 6815 6817 6383 0 -1 4194368 165 0 0 0 4 0 0 0 17 0 4 0 1122087381 3862528 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=3772 CPUtime=0.03
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 161 0 0 0 3 0 0 0 17 0 4 0 1122087381 3862528 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3772

[startup+0.105699 s]
/proc/loadavg: 2.12 2.24 1.91 2/64 6817
/proc/meminfo: memFree=1414920/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=3904 CPUtime=0.18
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 457 0 0 0 14 4 0 0 18 0 4 0 1122087381 3997696 364 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 976 364 70 163 0 811 0
[pid=6817/tid=6818] ppid=6815 vsize=3904 CPUtime=0.01
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 20 0 0 0 0 1 0 0 18 0 4 0 1122087381 3997696 364 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=3904 CPUtime=0.08
/proc/6817/task/6819/stat : 6819 (satake) S 6815 6817 6383 0 -1 4194368 181 0 0 0 7 1 0 0 17 0 4 0 1122087381 3997696 364 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=3904 CPUtime=0.06
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 173 0 0 0 6 0 0 0 17 0 4 0 1122087381 3997696 364 1992294400 134512640 135180984 4294956208 18446744073709551615 134528652 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 3904

[startup+0.301462 s]
/proc/loadavg: 2.12 2.24 1.91 2/64 6817
/proc/meminfo: memFree=1414920/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=4300 CPUtime=0.52
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 576 0 0 0 39 13 0 0 18 0 4 0 1122087381 4403200 483 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 1075 483 70 163 0 910 0
[pid=6817/tid=6818] ppid=6815 vsize=4300 CPUtime=0.08
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 44 0 0 0 1 7 0 0 18 0 4 0 1122087381 4403200 483 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=4300 CPUtime=0.23
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 226 0 0 0 20 3 0 0 17 0 4 0 1122087381 4403200 483 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=4300 CPUtime=0.19
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 223 0 0 0 17 2 0 0 17 0 4 0 1122087381 4403200 483 1992294400 134512640 135180984 4294956208 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 4300

[startup+0.701509 s]
/proc/loadavg: 2.12 2.24 1.91 2/64 6817
/proc/meminfo: memFree=1414920/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=4568 CPUtime=1.28
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 707 0 0 0 99 29 0 0 18 0 4 0 1122087381 4677632 614 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 1142 614 70 163 0 977 0
[pid=6817/tid=6818] ppid=6815 vsize=4568 CPUtime=0.17
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 80 0 0 0 3 14 0 0 16 0 4 0 1122087381 4677632 614 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=4568 CPUtime=0.56
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 271 0 0 0 49 7 0 0 17 0 4 0 1122087381 4677632 614 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=4568 CPUtime=0.53
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 273 0 0 0 46 7 0 0 16 0 4 0 1122087381 4677632 614 1992294400 134512640 135180984 4294956208 18446744073709551615 134519884 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 4568

[startup+1.50141 s]
/proc/loadavg: 2.12 2.24 1.91 3/68 6821
/proc/meminfo: memFree=1412264/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=4964 CPUtime=2.8
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 880 0 0 0 221 59 0 0 18 0 4 0 1122087381 5083136 787 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 1241 787 70 163 0 1076 0
[pid=6817/tid=6818] ppid=6815 vsize=4964 CPUtime=0.35
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 147 0 0 0 7 28 0 0 17 0 4 0 1122087381 5083136 787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=4964 CPUtime=1.23
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 322 0 0 0 108 15 0 0 16 0 4 0 1122087381 5083136 787 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=4964 CPUtime=1.18
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 328 0 0 0 104 14 0 0 16 0 4 0 1122087381 5083136 787 1992294400 134512640 135180984 4294956208 18446744073709551615 134528866 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 4964

[startup+3.10279 s]
/proc/loadavg: 2.12 2.24 1.91 4/68 6821
/proc/meminfo: memFree=1411304/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=6280 CPUtime=5.66
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 1108 0 0 0 451 115 0 0 18 0 4 0 1122087381 6430720 1015 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 1570 1015 70 163 0 1405 0
[pid=6817/tid=6818] ppid=6815 vsize=6280 CPUtime=0.72
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 265 0 0 0 14 58 0 0 17 0 4 0 1122087381 6430720 1015 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=6280 CPUtime=2.57
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 379 0 0 0 229 28 0 0 16 0 4 0 1122087381 6430720 1015 1992294400 134512640 135180984 4294956208 18446744073709551615 134521150 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=6280 CPUtime=2.35
/proc/6817/task/6820/stat : 6820 (satake) S 6815 6817 6383 0 -1 4194368 381 0 0 0 207 28 0 0 15 0 4 0 1122087381 6430720 1015 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 6280

[startup+6.30787 s]
/proc/loadavg: 2.11 2.24 1.91 4/68 6821
/proc/meminfo: memFree=1409576/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=7568 CPUtime=11.69
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 1530 0 0 0 927 242 0 0 18 0 4 0 1122087381 7749632 1437 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 1892 1437 70 163 0 1727 0
[pid=6817/tid=6818] ppid=6815 vsize=7568 CPUtime=1.47
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 500 0 0 0 28 119 0 0 16 0 4 0 1122087381 7749632 1437 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=7568 CPUtime=5.25
/proc/6817/task/6819/stat : 6819 (satake) S 6815 6817 6383 0 -1 4194368 494 0 0 0 464 61 0 0 16 0 4 0 1122087381 7749632 1437 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=7568 CPUtime=4.94
/proc/6817/task/6820/stat : 6820 (satake) S 6815 6817 6383 0 -1 4194368 453 0 0 0 434 60 0 0 15 0 4 0 1122087381 7749632 1437 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 7568

[startup+12.7047 s]
/proc/loadavg: 2.10 2.23 1.91 3/68 6821
/proc/meminfo: memFree=1406696/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=10060 CPUtime=23.84
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 2166 0 0 0 1902 482 0 0 18 0 4 0 1122087381 10301440 2073 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 2515 2073 70 163 0 2350 0
[pid=6817/tid=6818] ppid=6815 vsize=10060 CPUtime=2.93
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 926 0 0 0 58 235 0 0 16 0 4 0 1122087381 10301440 2073 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=10060 CPUtime=10.6
/proc/6817/task/6819/stat : 6819 (satake) S 6815 6817 6383 0 -1 4194368 599 0 0 0 938 122 0 0 15 0 4 0 1122087381 10301440 2073 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6817/tid=6820] ppid=6815 vsize=10060 CPUtime=10.29
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 558 0 0 0 905 124 0 0 16 0 4 0 1122087381 10301440 2073 1992294400 134512640 135180984 4294956208 18446744073709551615 134528565 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.84
Current children cumulated vsize (KiB) 10060

[startup+25.5014 s]
/proc/loadavg: 2.16 2.24 1.92 3/68 6821
/proc/meminfo: memFree=1402152/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=15308 CPUtime=48.23
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 3312 0 0 0 3844 979 0 0 18 0 4 0 1122087381 15675392 3219 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 3827 3219 70 163 0 3662 0
[pid=6817/tid=6818] ppid=6815 vsize=15308 CPUtime=5.98
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 1771 0 0 0 124 474 0 0 16 0 4 0 1122087381 15675392 3219 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=15308 CPUtime=21.29
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 725 0 0 0 1879 250 0 0 17 0 4 0 1122087381 15675392 3219 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=15308 CPUtime=20.94
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 733 0 0 0 1840 254 0 0 16 0 4 0 1122087381 15675392 3219 1992294400 134512640 135180984 4294956208 18446744073709551615 134520815 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.23
Current children cumulated vsize (KiB) 15308

[startup+51.1011 s]
/proc/loadavg: 2.29 2.26 1.93 4/68 6821
/proc/meminfo: memFree=1393512/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=26532 CPUtime=97.3
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 5488 0 0 0 7814 1916 0 0 18 0 4 0 1122087381 27168768 5395 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 6633 5395 70 163 0 6468 0
[pid=6817/tid=6818] ppid=6815 vsize=26532 CPUtime=11.66
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 3315 0 0 0 245 921 0 0 16 0 4 0 1122087381 27168768 5395 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=26532 CPUtime=42.92
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 1093 0 0 0 3801 491 0 0 16 0 4 0 1122087381 27168768 5395 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6817/tid=6820] ppid=6815 vsize=26532 CPUtime=42.7
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 997 0 0 0 3767 503 0 0 16 0 4 0 1122087381 27168768 5395 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97.3
Current children cumulated vsize (KiB) 26532

[startup+102.306 s]
/proc/loadavg: 2.40 2.28 1.95 3/68 6821
/proc/meminfo: memFree=1376424/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=46108 CPUtime=195.25
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 9701 0 0 0 15454 4071 0 0 18 0 4 0 1122087381 47214592 9608 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 11527 9608 70 163 0 11362 0
[pid=6817/tid=6818] ppid=6815 vsize=46108 CPUtime=24.77
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 6129 0 0 0 516 1961 0 0 16 0 4 0 1122087381 47214592 9608 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=46108 CPUtime=85.53
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 1934 0 0 0 7510 1043 0 0 16 0 4 0 1122087381 47214592 9608 1992294400 134512640 135180984 4294956208 18446744073709551615 134520708 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=46108 CPUtime=84.94
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 1555 0 0 0 7427 1067 0 0 16 0 4 0 1122087381 47214592 9608 1992294400 134512640 135180984 4294956208 18446744073709551615 134528661 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 195.25
Current children cumulated vsize (KiB) 46108

[startup+162.302 s]
/proc/loadavg: 2.39 2.30 1.98 4/68 6821
/proc/meminfo: memFree=1356840/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=71072 CPUtime=310.26
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 14584 0 0 0 24428 6598 0 0 18 0 4 0 1122087381 72777728 14491 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 17768 14491 70 163 0 17603 0
[pid=6817/tid=6818] ppid=6815 vsize=71072 CPUtime=39.93
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 9106 0 0 0 833 3160 0 0 16 0 4 0 1122087381 72777728 14491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=71072 CPUtime=135.56
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 2805 0 0 0 11834 1722 0 0 17 0 4 0 1122087381 72777728 14491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=71072 CPUtime=134.76
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 2590 0 0 0 11761 1715 0 0 16 0 4 0 1122087381 72777728 14491 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 310.26
Current children cumulated vsize (KiB) 71072

[startup+222.302 s]
/proc/loadavg: 2.48 2.34 2.01 4/68 6821
/proc/meminfo: memFree=1337064/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=93100 CPUtime=425.6
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 19477 0 0 0 33370 9190 0 0 18 0 4 0 1122087381 95334400 19384 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 23275 19384 70 163 0 23110 0
[pid=6817/tid=6818] ppid=6815 vsize=93100 CPUtime=55.68
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 11942 0 0 0 1161 4407 0 0 15 0 4 0 1122087381 95334400 19384 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=93100 CPUtime=185.31
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 4145 0 0 0 16142 2389 0 0 16 0 4 0 1122087381 95334400 19384 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=93100 CPUtime=184.6
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 3307 0 0 0 16066 2394 0 0 16 0 4 0 1122087381 95334400 19384 1992294400 134512640 135180984 4294956208 18446744073709551615 134519933 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 425.6
Current children cumulated vsize (KiB) 93100

[startup+282.302 s]
/proc/loadavg: 2.28 2.30 2.02 4/68 6821
/proc/meminfo: memFree=1318312/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=119248 CPUtime=541.23
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 24261 0 0 0 42338 11785 0 0 18 0 4 0 1122087381 122109952 24168 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 29812 24168 70 163 0 29647 0
[pid=6817/tid=6818] ppid=6815 vsize=119248 CPUtime=71.33
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 14836 0 0 0 1487 5646 0 0 16 0 4 0 1122087381 122109952 24168 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=119248 CPUtime=235.16
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 5026 0 0 0 20460 3056 0 0 16 0 4 0 1122087381 122109952 24168 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6817/tid=6820] ppid=6815 vsize=119248 CPUtime=234.72
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 4316 0 0 0 20391 3081 0 0 16 0 4 0 1122087381 122109952 24168 1992294400 134512640 135180984 4294956208 18446744073709551615 134528866 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 541.23
Current children cumulated vsize (KiB) 119248

[startup+342.302 s]
/proc/loadavg: 2.36 2.32 2.04 3/68 6821
/proc/meminfo: memFree=1297448/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=143080 CPUtime=656.74
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 29411 0 0 0 51163 14511 0 0 18 0 4 0 1122087381 146513920 29318 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 35770 29318 70 163 0 35605 0
[pid=6817/tid=6818] ppid=6815 vsize=143080 CPUtime=87.78
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 17611 0 0 0 1831 6947 0 0 16 0 4 0 1122087381 146513920 29318 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=143080 CPUtime=285.03
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 5917 0 0 0 24744 3759 0 0 16 0 4 0 1122087381 146513920 29318 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6817/tid=6820] ppid=6815 vsize=143080 CPUtime=283.92
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 5800 0 0 0 24587 3805 0 0 16 0 4 0 1122087381 146513920 29318 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 656.74
Current children cumulated vsize (KiB) 143080

[startup+402.301 s]
/proc/loadavg: 2.39 2.32 2.05 3/68 6821
/proc/meminfo: memFree=1276648/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=170124 CPUtime=771.78
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 34579 0 0 0 59836 17342 0 0 18 0 4 0 1122087381 174206976 34486 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 42531 34486 70 163 0 42366 0
[pid=6817/tid=6818] ppid=6815 vsize=170124 CPUtime=104.85
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 20539 0 0 0 2185 8300 0 0 16 0 4 0 1122087381 174206976 34486 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=170124 CPUtime=334
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 6800 0 0 0 28908 4492 0 0 16 0 4 0 1122087381 174206976 34486 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=170124 CPUtime=332.89
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 7157 0 0 0 28741 4548 0 0 17 0 4 0 1122087381 174206976 34486 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 771.78
Current children cumulated vsize (KiB) 170124

[startup+462.308 s]
/proc/loadavg: 2.33 2.31 2.06 4/68 6821
/proc/meminfo: memFree=1260264/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=187596 CPUtime=888.09
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 38649 0 0 0 69139 19670 0 0 18 0 4 0 1122087381 192098304 38556 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 46899 38556 70 163 0 46734 0
[pid=6817/tid=6818] ppid=6815 vsize=187596 CPUtime=118.81
/proc/6817/task/6818/stat : 6818 (satake) R 6815 6817 6383 0 -1 4194368 23217 0 0 0 2480 9401 0 0 16 0 4 0 1122087381 192098304 38556 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=187596 CPUtime=385.31
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 7747 0 0 0 33413 5118 0 0 15 0 4 0 1122087381 192098304 38556 1992294400 134512640 135180984 4294956208 18446744073709551615 134520020 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=187596 CPUtime=383.95
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 7602 0 0 0 33245 5150 0 0 16 0 4 0 1122087381 192098304 38556 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 888.09
Current children cumulated vsize (KiB) 187596

[startup+522.302 s]
/proc/loadavg: 2.41 2.34 2.09 3/68 6821
/proc/meminfo: memFree=1241320/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=207588 CPUtime=1003.72
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 43466 0 0 0 78022 22350 0 0 18 0 4 0 1122087381 212570112 43369 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 51897 43369 70 163 0 51732 0
[pid=6817/tid=6818] ppid=6815 vsize=207588 CPUtime=134.79
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 25953 0 0 0 2792 10687 0 0 15 0 4 0 1122087381 212570112 43369 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=207588 CPUtime=435.14
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 8763 0 0 0 37687 5827 0 0 16 0 4 0 1122087381 212570112 43369 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=207588 CPUtime=433.77
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 8667 0 0 0 37541 5836 0 0 17 0 4 0 1122087381 212570112 43369 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1003.72
Current children cumulated vsize (KiB) 207588

[startup+582.301 s]
/proc/loadavg: 2.26 2.31 2.09 3/68 6821
/proc/meminfo: memFree=1219880/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=231444 CPUtime=1118.99
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 48699 0 0 0 86772 25127 0 0 18 0 4 0 1122087381 236998656 48602 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 57861 48602 70 163 0 57696 0
[pid=6817/tid=6818] ppid=6815 vsize=231444 CPUtime=151.5
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 28932 0 0 0 3135 12015 0 0 15 0 4 0 1122087381 236998656 48602 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6817/tid=6819] ppid=6815 vsize=231444 CPUtime=484.13
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 9929 0 0 0 41870 6543 0 0 17 0 4 0 1122087381 236998656 48602 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=231444 CPUtime=483.34
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 9755 0 0 0 41766 6568 0 0 16 0 4 0 1122087381 236998656 48602 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1118.99
Current children cumulated vsize (KiB) 231444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+624.702 s]
/proc/loadavg: 2.23 2.29 2.09 3/68 6821
/proc/meminfo: memFree=1205480/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=254624 CPUtime=1200.19
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 52261 0 0 0 92908 27111 0 0 18 0 4 0 1122087381 260734976 52164 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 63656 52164 70 163 0 63491 0
[pid=6817/tid=6818] ppid=6815 vsize=254624 CPUtime=163.57
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 31315 0 0 0 3388 12969 0 0 15 0 4 0 1122087381 260734976 52164 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=254624 CPUtime=518.39
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 10365 0 0 0 44777 7062 0 0 16 0 4 0 1122087381 260734976 52164 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=254624 CPUtime=518.21
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 10498 0 0 0 44742 7079 0 0 17 0 4 0 1122087381 260734976 52164 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 254624

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

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

[startup+624.702 s]
/proc/loadavg: 2.23 2.29 2.09 3/68 6821
/proc/meminfo: memFree=1205480/2055920 swapFree=4171920/4192956
[pid=6817] ppid=6815 vsize=254624 CPUtime=1200.19
/proc/6817/stat : 6817 (satake) S 6815 6817 6383 0 -1 4194304 52261 0 0 0 92908 27111 0 0 18 0 4 0 1122087381 260734976 52164 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6817/statm: 63656 52164 70 163 0 63491 0
[pid=6817/tid=6818] ppid=6815 vsize=254624 CPUtime=163.57
/proc/6817/task/6818/stat : 6818 (satake) S 6815 6817 6383 0 -1 4194368 31315 0 0 0 3388 12969 0 0 15 0 4 0 1122087381 260734976 52164 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6817/tid=6819] ppid=6815 vsize=254624 CPUtime=518.39
/proc/6817/task/6819/stat : 6819 (satake) R 6815 6817 6383 0 -1 4194368 10365 0 0 0 44777 7062 0 0 16 0 4 0 1122087381 260734976 52164 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6817/tid=6820] ppid=6815 vsize=254624 CPUtime=518.21
/proc/6817/task/6820/stat : 6820 (satake) R 6815 6817 6383 0 -1 4194368 10498 0 0 0 44742 7079 0 0 17 0 4 0 1122087381 260734976 52164 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 254624

Child ended because it received signal 15 (SIGTERM)
Real time (s): 624.751
CPU time (s): 1200.25
CPU user time (s): 929.094
CPU system time (s): 271.156
CPU usage (%): 192.116
Max. virtual memory (cumulated for all children) (KiB): 254624

deleting IPC queue 884736
deleting IPC queue 917505
deleting IPC queue 950274
deleting IPC queue 983043
deleting IPC queue 1015812
deleting IPC queue 1048581
deleting IPC queue 1081350
deleting IPC queue 1114119
deleting IPC queue 1146888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 929.094
system time used= 271.156
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52261
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= 11504263
involuntary context switches= 10469223

runsolver used 0.669898 second user time and 1.74973 second system time

The end

Launcher Data 

Begin job on node28 at 2009-03-31 12:10:17
IDJOB=1543670
IDBENCH=70511
IDSOLVER=553
FILE ID=node28/1543670-1238494217
PBS_JOBID= 9061857
Free space on /tmp= 66308 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/SATISFIABLE/70/unif-k7-r89-v70-c6230-S284173264-081.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543670-1238494217/watcher-1543670-1238494217 -o /tmp/evaluation-result-1543670-1238494217/solver-1543670-1238494217 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543670-1238494217.cnf 3 1200

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

MD5SUM BENCH= e8f7903d690618b3eb32880d64fd6acf
RANDOM SEED=1529345130

node28.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.212
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.212
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:       1415400 kB
Buffers:        110480 kB
Cached:         417408 kB
SwapCached:      14208 kB
Active:         173944 kB
Inactive:       370784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1415400 kB
SwapTotal:     4192956 kB
SwapFree:      4171920 kB
Dirty:             900 kB
Writeback:           0 kB
Mapped:          17856 kB
Slab:            81704 kB
Committed_AS:  2953352 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66304 MiB
End job on node28 at 2009-03-31 12:20:43