Trace number 1543785

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.14 690.083

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
MD5SUM5929dd8b325f87d1ae10eb412c236ac3
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark43.0345
Satisfiable
(Un)Satisfiability was proved
Number of variables380
Number of clauses1615
Sum of the clauses size4845
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31615
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data

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

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543785-1238560238/watcher-1543785-1238560238 -o /tmp/evaluation-result-1543785-1238560238/solver-1543785-1238560238 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543785-1238560238.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.53 2/64 6365
/proc/meminfo: memFree=864144/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=1148 CPUtime=0
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 136 0 0 0 0 0 0 0 18 0 4 0 1128686134 1175552 121 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 287 121 68 163 0 122 0
[pid=6365/tid=6366] ppid=6363 vsize=1148 CPUtime=0
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1128686134 1175552 121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=1148 CPUtime=0
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 46 0 0 0 0 0 0 0 19 0 4 0 1128686134 1175552 121 1992294400 134512640 135180984 4294956208 18446744073709551615 134527282 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6368] ppid=6363 vsize=1148 CPUtime=0
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1128686134 1175552 121 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.01687 s]
/proc/loadavg: 1.99 1.85 1.53 2/64 6365
/proc/meminfo: memFree=864144/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=2304 CPUtime=0.01
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 186 0 0 0 1 0 0 0 18 0 4 0 1128686134 2359296 171 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 576 171 70 163 0 411 0
[pid=6365/tid=6366] ppid=6363 vsize=2304 CPUtime=0
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 11 0 0 0 0 0 0 0 18 0 4 0 1128686134 2359296 171 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6367] ppid=6363 vsize=2304 CPUtime=0
/proc/6365/task/6367/stat : 6367 (satake) S 6363 6365 6103 0 -1 4194368 49 0 0 0 0 0 0 0 19 0 4 0 1128686134 2359296 171 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6365/tid=6368] ppid=6363 vsize=2304 CPUtime=0
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 43 0 0 0 0 0 0 0 16 0 4 0 1128686134 2359296 171 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2304

[startup+0.102584 s]
/proc/loadavg: 1.99 1.85 1.53 2/64 6365
/proc/meminfo: memFree=864144/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=2436 CPUtime=0.15
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 230 0 0 0 9 6 0 0 18 0 4 0 1128686134 2494464 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 609 215 70 163 0 444 0
[pid=6365/tid=6366] ppid=6363 vsize=2436 CPUtime=0.03
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 22 0 0 0 1 2 0 0 17 0 4 0 1128686134 2494464 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=2436 CPUtime=0.05
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 64 0 0 0 4 1 0 0 17 0 4 0 1128686134 2494464 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134528648 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6368] ppid=6363 vsize=2436 CPUtime=0.04
/proc/6365/task/6368/stat : 6368 (satake) S 6363 6365 6103 0 -1 4194368 61 0 0 0 3 1 0 0 16 0 4 0 1128686134 2494464 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2436

[startup+0.302603 s]
/proc/loadavg: 1.99 1.85 1.53 2/64 6365
/proc/meminfo: memFree=864144/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=2568 CPUtime=0.48
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 277 0 0 0 28 20 0 0 18 0 4 0 1128686134 2629632 262 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 642 262 70 163 0 477 0
[pid=6365/tid=6366] ppid=6363 vsize=2568 CPUtime=0.13
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 45 0 0 0 3 10 0 0 17 0 4 0 1128686134 2629632 262 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=2568 CPUtime=0.17
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 73 0 0 0 13 4 0 0 17 0 4 0 1128686134 2629632 262 1992294400 134512640 135180984 4294956208 18446744073709551615 134524345 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6368] ppid=6363 vsize=2568 CPUtime=0.16
/proc/6365/task/6368/stat : 6368 (satake) S 6363 6365 6103 0 -1 4194368 76 0 0 0 11 5 0 0 16 0 4 0 1128686134 2629632 262 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2568

[startup+0.701647 s]
/proc/loadavg: 1.99 1.85 1.53 2/64 6365
/proc/meminfo: memFree=864144/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=2964 CPUtime=1.13
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 363 0 0 0 65 48 0 0 18 0 4 0 1128686134 3035136 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 741 348 70 163 0 576 0
[pid=6365/tid=6366] ppid=6363 vsize=2964 CPUtime=0.31
/proc/6365/task/6366/stat : 6366 (satake) S 6363 6365 6103 0 -1 4194368 98 0 0 0 6 25 0 0 17 0 4 0 1128686134 3035136 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6365/tid=6367] ppid=6363 vsize=2964 CPUtime=0.41
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 90 0 0 0 30 11 0 0 16 0 4 0 1128686134 3035136 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=2964 CPUtime=0.39
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 92 0 0 0 28 11 0 0 16 0 4 0 1128686134 3035136 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134520901 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2964

[startup+1.50171 s]
/proc/loadavg: 1.99 1.85 1.53 4/68 6369
/proc/meminfo: memFree=862704/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=3492 CPUtime=2.45
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 508 0 0 0 139 106 0 0 18 0 4 0 1128686134 3575808 493 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 873 493 70 163 0 708 0
[pid=6365/tid=6366] ppid=6363 vsize=3492 CPUtime=0.67
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 183 0 0 0 14 53 0 0 17 0 4 0 1128686134 3575808 493 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=3492 CPUtime=0.89
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 118 0 0 0 64 25 0 0 16 0 4 0 1128686134 3575808 493 1992294400 134512640 135180984 4294956208 18446744073709551615 134519912 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=3492 CPUtime=0.85
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 124 0 0 0 59 26 0 0 16 0 4 0 1128686134 3575808 493 1992294400 134512640 135180984 4294956208 18446744073709551615 134579330 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 3492

[startup+3.10186 s]
/proc/loadavg: 1.99 1.85 1.53 2/68 6369
/proc/meminfo: memFree=861808/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=4576 CPUtime=5.09
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 797 0 0 0 287 222 0 0 18 0 4 0 1128686134 4685824 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 1144 782 70 163 0 979 0
[pid=6365/tid=6366] ppid=6363 vsize=4576 CPUtime=1.39
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 391 0 0 0 30 109 0 0 15 0 4 0 1128686134 4685824 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6367] ppid=6363 vsize=4576 CPUtime=1.83
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 154 0 0 0 130 53 0 0 17 0 4 0 1128686134 4685824 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=4576 CPUtime=1.84
/proc/6365/task/6368/stat : 6368 (satake) S 6363 6365 6103 0 -1 4194368 169 0 0 0 126 58 0 0 16 0 4 0 1128686134 4685824 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 4576

[startup+6.30197 s]
/proc/loadavg: 1.99 1.86 1.53 3/68 6369
/proc/meminfo: memFree=859504/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=6764 CPUtime=10.44
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 1334 0 0 0 588 456 0 0 18 0 4 0 1128686134 6926336 1319 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 1691 1319 70 163 0 1526 0
[pid=6365/tid=6366] ppid=6363 vsize=6764 CPUtime=2.84
/proc/6365/task/6366/stat : 6366 (satake) S 6363 6365 6103 0 -1 4194368 821 0 0 0 61 223 0 0 16 0 4 0 1128686134 6926336 1319 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=6764 CPUtime=3.75
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 210 0 0 0 261 114 0 0 16 0 4 0 1128686134 6926336 1319 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6368] ppid=6363 vsize=6764 CPUtime=3.83
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 220 0 0 0 264 119 0 0 16 0 4 0 1128686134 6926336 1319 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.44
Current children cumulated vsize (KiB) 6764

[startup+12.7018 s]
/proc/loadavg: 2.07 1.88 1.54 3/68 6369
/proc/meminfo: memFree=855024/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=11080 CPUtime=21.13
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 2350 0 0 0 1198 915 0 0 18 0 4 0 1128686134 11345920 2335 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 2770 2335 70 163 0 2605 0
[pid=6365/tid=6366] ppid=6363 vsize=11080 CPUtime=5.63
/proc/6365/task/6366/stat : 6366 (satake) S 6363 6365 6103 0 -1 4194368 1645 0 0 0 120 443 0 0 15 0 4 0 1128686134 11345920 2335 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6365/tid=6367] ppid=6363 vsize=11080 CPUtime=7.72
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 315 0 0 0 538 234 0 0 16 0 4 0 1128686134 11345920 2335 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=11080 CPUtime=7.77
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 307 0 0 0 540 237 0 0 16 0 4 0 1128686134 11345920 2335 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.13
Current children cumulated vsize (KiB) 11080

[startup+25.5031 s]
/proc/loadavg: 2.14 1.90 1.55 2/68 6369
/proc/meminfo: memFree=847024/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=20096 CPUtime=42.72
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 4337 0 0 0 2447 1825 0 0 18 0 4 0 1128686134 20578304 4322 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 5024 4322 70 163 0 4859 0
[pid=6365/tid=6366] ppid=6363 vsize=20096 CPUtime=11.19
/proc/6365/task/6366/stat : 6366 (satake) S 6363 6365 6103 0 -1 4194368 3224 0 0 0 235 884 0 0 15 0 4 0 1128686134 20578304 4322 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=20096 CPUtime=15.74
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 530 0 0 0 1108 466 0 0 15 0 4 0 1128686134 20578304 4322 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=20096 CPUtime=15.76
/proc/6365/task/6368/stat : 6368 (satake) S 6363 6365 6103 0 -1 4194368 500 0 0 0 1103 473 0 0 16 0 4 0 1128686134 20578304 4322 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.72
Current children cumulated vsize (KiB) 20096

[startup+51.1023 s]
/proc/loadavg: 2.08 1.90 1.56 3/68 6369
/proc/meminfo: memFree=831920/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=36772 CPUtime=86.21
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 8121 0 0 0 4997 3624 0 0 18 0 4 0 1128686134 37654528 8106 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 9193 8106 70 163 0 9028 0
[pid=6365/tid=6366] ppid=6363 vsize=36772 CPUtime=22.23
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 6260 0 0 0 470 1753 0 0 16 0 4 0 1128686134 37654528 8106 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=36772 CPUtime=31.92
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 922 0 0 0 2266 926 0 0 16 0 4 0 1128686134 37654528 8106 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6368] ppid=6363 vsize=36772 CPUtime=32.04
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 856 0 0 0 2260 944 0 0 15 0 4 0 1128686134 37654528 8106 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 86.21
Current children cumulated vsize (KiB) 36772

[startup+102.31 s]
/proc/loadavg: 2.11 1.94 1.59 4/68 6369
/proc/meminfo: memFree=802096/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=72212 CPUtime=174.19
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 15470 0 0 0 10130 7289 0 0 18 0 4 0 1128686134 73945088 15455 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 18053 15455 70 163 0 17888 0
[pid=6365/tid=6366] ppid=6363 vsize=72212 CPUtime=44.62
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 11879 0 0 0 928 3534 0 0 15 0 4 0 1128686134 73945088 15455 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=72212 CPUtime=64.58
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 1892 0 0 0 4595 1863 0 0 15 0 4 0 1128686134 73945088 15455 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=72212 CPUtime=64.98
/proc/6365/task/6368/stat : 6368 (satake) S 6363 6365 6103 0 -1 4194368 1616 0 0 0 4606 1892 0 0 15 0 4 0 1128686134 73945088 15455 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 174.19
Current children cumulated vsize (KiB) 72212

[startup+162.301 s]
/proc/loadavg: 2.16 1.98 1.62 3/68 6369
/proc/meminfo: memFree=768752/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=113096 CPUtime=277.55
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 23890 0 0 0 16324 11431 0 0 18 0 4 0 1128686134 115810304 23875 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 28274 23875 70 163 0 28109 0
[pid=6365/tid=6366] ppid=6363 vsize=113096 CPUtime=70.08
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 18228 0 0 0 1469 5539 0 0 16 0 4 0 1128686134 115810304 23875 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=113096 CPUtime=103.66
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 3072 0 0 0 7440 2926 0 0 16 0 4 0 1128686134 115810304 23875 1992294400 134512640 135180984 4294956208 18446744073709551615 134527272 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=113096 CPUtime=103.8
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 2507 0 0 0 7414 2966 0 0 16 0 4 0 1128686134 115810304 23875 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 277.55
Current children cumulated vsize (KiB) 113096

[startup+222.302 s]
/proc/loadavg: 2.27 2.04 1.67 3/68 6369
/proc/meminfo: memFree=735408/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=153504 CPUtime=381.2
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 32101 0 0 0 22562 15558 0 0 18 0 4 0 1128686134 157188096 32086 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 38376 32086 70 163 0 38211 0
[pid=6365/tid=6366] ppid=6363 vsize=153504 CPUtime=95.29
/proc/6365/task/6366/stat : 6366 (satake) S 6363 6365 6103 0 -1 4194368 24252 0 0 0 1997 7532 0 0 15 0 4 0 1128686134 157188096 32086 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=153504 CPUtime=142.84
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 4357 0 0 0 10299 3985 0 0 16 0 4 0 1128686134 157188096 32086 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=153504 CPUtime=143.05
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 3409 0 0 0 10265 4040 0 0 16 0 4 0 1128686134 157188096 32086 1992294400 134512640 135180984 4294956208 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 381.2
Current children cumulated vsize (KiB) 153504

[startup+282.303 s]
/proc/loadavg: 2.34 2.11 1.71 3/68 6369
/proc/meminfo: memFree=703152/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=189920 CPUtime=485.49
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 40244 0 0 0 28892 19657 0 0 18 0 4 0 1128686134 194478080 40229 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 47480 40229 70 163 0 47315 0
[pid=6365/tid=6366] ppid=6363 vsize=189920 CPUtime=120.46
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 30114 0 0 0 2528 9518 0 0 16 0 4 0 1128686134 194478080 40229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6367] ppid=6363 vsize=189920 CPUtime=182.4
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 5555 0 0 0 13205 5035 0 0 16 0 4 0 1128686134 194478080 40229 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6368] ppid=6363 vsize=189920 CPUtime=182.61
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 4492 0 0 0 13158 5103 0 0 15 0 4 0 1128686134 194478080 40229 1992294400 134512640 135180984 4294956208 18446744073709551615 134526529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 485.49
Current children cumulated vsize (KiB) 189920

[startup+342.302 s]
/proc/loadavg: 2.43 2.18 1.76 3/68 6369
/proc/meminfo: memFree=669936/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=234216 CPUtime=590.06
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 48445 0 0 0 35293 23713 0 0 18 0 4 0 1128686134 239837184 48430 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 58554 48430 70 163 0 58389 0
[pid=6365/tid=6366] ppid=6363 vsize=234216 CPUtime=145.45
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 35702 0 0 0 3064 11481 0 0 16 0 4 0 1128686134 239837184 48430 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6367] ppid=6363 vsize=234216 CPUtime=222.67
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 7020 0 0 0 16182 6085 0 0 15 0 4 0 1128686134 239837184 48430 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=234216 CPUtime=221.91
/proc/6365/task/6368/stat : 6368 (satake) S 6363 6365 6103 0 -1 4194368 5640 0 0 0 16045 6146 0 0 16 0 4 0 1128686134 239837184 48430 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 590.06
Current children cumulated vsize (KiB) 234216

[startup+402.303 s]
/proc/loadavg: 2.28 2.17 1.78 4/68 6369
/proc/meminfo: memFree=637872/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=270268 CPUtime=694.84
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 56532 0 0 0 41756 27728 0 0 18 0 4 0 1128686134 276754432 56517 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 67567 56517 70 163 0 67402 0
[pid=6365/tid=6366] ppid=6363 vsize=270268 CPUtime=170.15
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 41479 0 0 0 3601 13414 0 0 16 0 4 0 1128686134 276754432 56517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=270268 CPUtime=263.21
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 8110 0 0 0 19192 7129 0 0 15 0 4 0 1128686134 276754432 56517 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=270268 CPUtime=261.47
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 6860 0 0 0 18962 7185 0 0 17 0 4 0 1128686134 276754432 56517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 694.84
Current children cumulated vsize (KiB) 270268

[startup+462.302 s]
/proc/loadavg: 2.42 2.23 1.82 3/68 6369
/proc/meminfo: memFree=605232/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=301644 CPUtime=799.49
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 64610 0 0 0 48185 31764 0 0 18 0 4 0 1128686134 308883456 64595 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 75411 64595 70 163 0 75246 0
[pid=6365/tid=6366] ppid=6363 vsize=301644 CPUtime=195.06
/proc/6365/task/6366/stat : 6366 (satake) S 6363 6365 6103 0 -1 4194368 46869 0 0 0 4130 15376 0 0 16 0 4 0 1128686134 308883456 64595 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=301644 CPUtime=303.21
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 9581 0 0 0 22164 8157 0 0 16 0 4 0 1128686134 308883456 64595 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=301644 CPUtime=301.19
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 8077 0 0 0 21889 8230 0 0 16 0 4 0 1128686134 308883456 64595 1992294400 134512640 135180984 4294956208 18446744073709551615 134526224 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 799.49
Current children cumulated vsize (KiB) 301644

[startup+522.304 s]
/proc/loadavg: 2.38 2.25 1.85 4/68 6369
/proc/meminfo: memFree=573808/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=343008 CPUtime=905.25
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 72525 0 0 0 54802 35723 0 0 18 0 4 0 1128686134 351240192 72510 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 85752 72510 70 163 0 85587 0
[pid=6365/tid=6366] ppid=6363 vsize=343008 CPUtime=219.38
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 52191 0 0 0 4651 17287 0 0 16 0 4 0 1128686134 351240192 72510 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=343008 CPUtime=344.26
/proc/6365/task/6367/stat : 6367 (satake) S 6363 6365 6103 0 -1 4194368 10872 0 0 0 25247 9179 0 0 15 0 4 0 1128686134 351240192 72510 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=343008 CPUtime=341.58
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 9379 0 0 0 24903 9255 0 0 16 0 4 0 1128686134 351240192 72510 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 905.25
Current children cumulated vsize (KiB) 343008

[startup+582.303 s]
/proc/loadavg: 2.58 2.33 1.90 3/68 6369
/proc/meminfo: memFree=541552/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=383752 CPUtime=1010.81
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 80510 0 0 0 61406 39675 0 0 18 0 4 0 1128686134 392962048 80495 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 95938 80495 70 163 0 95773 0
[pid=6365/tid=6366] ppid=6363 vsize=383752 CPUtime=243.85
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 57430 0 0 0 5184 19201 0 0 16 0 4 0 1128686134 392962048 80495 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=383752 CPUtime=384.78
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 12341 0 0 0 28278 10200 0 0 16 0 4 0 1128686134 392962048 80495 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6368] ppid=6363 vsize=383752 CPUtime=382.17
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 10656 0 0 0 27943 10274 0 0 15 0 4 0 1128686134 392962048 80495 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1010.81
Current children cumulated vsize (KiB) 383752

[startup+642.303 s]
/proc/loadavg: 2.76 2.43 1.96 3/68 6369
/proc/meminfo: memFree=509424/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=431272 CPUtime=1116.13
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 88438 0 0 0 68025 43588 0 0 18 0 4 0 1128686134 441622528 88423 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 107818 88423 70 163 0 107653 0
[pid=6365/tid=6366] ppid=6363 vsize=431272 CPUtime=268.05
/proc/6365/task/6366/stat : 6366 (satake) R 6363 6365 6103 0 -1 4194368 62571 0 0 0 5709 21096 0 0 16 0 4 0 1128686134 441622528 88423 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6365/tid=6367] ppid=6363 vsize=431272 CPUtime=425.83
/proc/6365/task/6367/stat : 6367 (satake) S 6363 6365 6103 0 -1 4194368 13726 0 0 0 31378 11205 0 0 16 0 4 0 1128686134 441622528 88423 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6365/tid=6368] ppid=6363 vsize=431272 CPUtime=422.22
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 12058 0 0 0 30937 11285 0 0 16 0 4 0 1128686134 441622528 88423 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1116.13
Current children cumulated vsize (KiB) 431272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+690.002 s]
/proc/loadavg: 2.68 2.46 2.00 3/68 6371
/proc/meminfo: memFree=484272/2055920 swapFree=4176868/4192956
[pid=6365] ppid=6363 vsize=460404 CPUtime=1200.05
/proc/6365/stat : 6365 (satake) S 6363 6365 6103 0 -1 4194304 94698 0 0 0 73307 46698 0 0 18 0 4 0 1128686134 471453696 94683 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6365/statm: 115101 94683 70 163 0 114936 0
[pid=6365/tid=6366] ppid=6363 vsize=460404 CPUtime=287.16
/proc/6365/task/6366/stat : 6366 (satake) S 6363 6365 6103 0 -1 4194368 66505 0 0 0 6114 22602 0 0 15 0 4 0 1128686134 471453696 94683 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6365/tid=6367] ppid=6363 vsize=460404 CPUtime=458.28
/proc/6365/task/6367/stat : 6367 (satake) R 6363 6365 6103 0 -1 4194368 15004 0 0 0 33821 12007 0 0 16 0 4 0 1128686134 471453696 94683 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6365/tid=6368] ppid=6363 vsize=460404 CPUtime=454.58
/proc/6365/task/6368/stat : 6368 (satake) R 6363 6365 6103 0 -1 4194368 13106 0 0 0 33371 12087 0 0 15 0 4 0 1128686134 471453696 94683 1992294400 134512640 135180984 4294956208 18446744073709551615 134528696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 460404

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 690.083
CPU time (s): 1200.14
CPU user time (s): 733.076
CPU system time (s): 467.06
CPU usage (%): 173.912
Max. virtual memory (cumulated for all children) (KiB): 460404

deleting IPC queue 2097152
deleting IPC queue 2129921
deleting IPC queue 2162690
deleting IPC queue 2195459
deleting IPC queue 2228228
deleting IPC queue 2260997
deleting IPC queue 2293766
deleting IPC queue 2326535
deleting IPC queue 2359304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 733.076
system time used= 467.06
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94699
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= 18762333
involuntary context switches= 17491029

runsolver used 0.778881 second user time and 2.13767 second system time

The end

Launcher Data

Begin job on node48 at 2009-04-01 06:30:38
IDJOB=1543785
IDBENCH=70626
IDSOLVER=553
FILE ID=node48/1543785-1238560238
PBS_JOBID= 9062138
Free space on /tmp= 66464 MiB

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

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

MD5SUM BENCH= 5929dd8b325f87d1ae10eb412c236ac3
RANDOM SEED=1661899949

node48.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.236
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.236
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:        864560 kB
Buffers:        105192 kB
Cached:         982796 kB
SwapCached:      10280 kB
Active:         324116 kB
Inactive:       775708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        864560 kB
SwapTotal:     4192956 kB
SwapFree:      4176868 kB
Dirty:             776 kB
Writeback:           0 kB
Mapped:          17492 kB
Slab:            77504 kB
Committed_AS:  2722516 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= 66464 MiB
End job on node48 at 2009-04-01 06:42:10