Trace number 1577608

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22? (TO) 1200.24 601.765

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
MD5SUMa9e7651569c1b43a1021c78982fb4e6b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark143.456
Satisfiable
(Un)Satisfiability was proved
Number of variables282842
Number of clauses1350458
Sum of the clauses size3903824
Maximum clause length11
Minimum clause length1
Number of clauses of size 129377
Number of clauses of size 2364467
Number of clauses of size 3730908
Number of clauses of size 4177355
Number of clauses of size 548082
Number of clauses of size over 5269

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1577608-1241003096/watcher-1577608-1241003096 -o /tmp/evaluation-result-1577608-1241003096/solver-1577608-1241003096 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1577608-1241003096.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.83 1.94 1.84 3/64 5684
/proc/meminfo: memFree=1475264/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=4104 CPUtime=0
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 735 0 0 0 0 0 0 0 18 0 4 0 128343488 4202496 721 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 1026 727 65 163 0 861 0
[pid=5684/tid=5685] ppid=5682 vsize=4104 CPUtime=0
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128343488 4202496 745 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=4104 CPUtime=0
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 525 0 0 0 0 0 0 0 19 0 4 0 128343488 4202496 754 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=4104 CPUtime=0
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 154 0 0 0 0 0 0 0 19 0 4 0 128343488 4202496 762 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.00909705 s]
/proc/loadavg: 1.83 1.94 1.84 3/64 5684
/proc/meminfo: memFree=1475264/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=7176 CPUtime=0.01
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 1495 0 0 0 0 1 0 0 18 0 4 0 128343488 7348224 1480 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 1794 1480 65 163 0 1629 0
[pid=5684/tid=5685] ppid=5682 vsize=7176 CPUtime=0
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128343488 7348224 1480 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=7176 CPUtime=0
/proc/5684/task/5686/stat : 5686 (satake) D 5682 5684 5368 0 -1 4194368 887 0 0 0 0 0 0 0 19 0 4 0 128343488 7348224 1480 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=7176 CPUtime=0
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 518 0 0 0 0 0 0 0 20 0 4 0 128343488 7348224 1480 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7176

[startup+0.100744 s]
/proc/loadavg: 1.83 1.94 1.84 3/64 5684
/proc/meminfo: memFree=1475264/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=76760 CPUtime=0.18
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 14992 0 0 0 4 14 0 0 18 0 4 0 128343488 78602240 14931 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 19190 14932 65 163 0 19025 0
[pid=5684/tid=5685] ppid=5682 vsize=76760 CPUtime=0
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128343488 78602240 14933 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=76760 CPUtime=0.08
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 7572 0 0 0 1 7 0 0 17 0 4 0 128343488 78602240 14934 1992294400 134512640 135180984 4294956208 18446744073709551615 134522560 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=76760 CPUtime=0.09
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 7333 0 0 0 2 7 0 0 17 0 4 0 128343488 78602240 14938 1992294400 134512640 135180984 4294956208 18446744073709551615 134522731 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 76760

[startup+0.301763 s]
/proc/loadavg: 1.83 1.94 1.84 3/64 5684
/proc/meminfo: memFree=1475264/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=117972 CPUtime=0.58
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 24632 0 0 0 37 21 0 0 18 0 4 0 128343488 120803328 24571 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 29493 24571 65 163 0 29328 0
[pid=5684/tid=5685] ppid=5682 vsize=117972 CPUtime=0
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128343488 120803328 24572 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=117972 CPUtime=0.28
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 12372 0 0 0 18 10 0 0 17 0 4 0 128343488 120803328 24572 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=117972 CPUtime=0.28
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 12171 0 0 0 18 10 0 0 17 0 4 0 128343488 120803328 24573 1992294400 134512640 135180984 4294956208 18446744073709551615 134513985 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 117972

[startup+0.706238 s]
/proc/loadavg: 1.83 1.94 1.84 3/64 5684
/proc/meminfo: memFree=1475264/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=153152 CPUtime=1.38
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 36163 0 0 0 110 28 0 0 18 0 4 0 128343488 156827648 36102 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 38288 36102 65 163 0 38123 0
[pid=5684/tid=5685] ppid=5682 vsize=153152 CPUtime=0
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128343488 156827648 36102 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=153152 CPUtime=0.69
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 18287 0 0 0 54 15 0 0 15 0 4 0 128343488 156827648 36102 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=153152 CPUtime=0.68
/proc/5684/task/5687/stat : 5687 (satake) D 5682 5684 5368 0 -1 4194368 17786 0 0 0 55 13 0 0 15 0 4 0 128343488 156827648 36102 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 153152

[startup+1.50171 s]
/proc/loadavg: 1.83 1.94 1.84 3/68 5688
/proc/meminfo: memFree=1299936/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=242464 CPUtime=2.94
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 50989 0 0 0 254 40 0 0 18 0 4 0 128343488 248283136 50928 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 60616 50928 66 163 0 60451 0
[pid=5684/tid=5685] ppid=5682 vsize=242464 CPUtime=0
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128343488 248283136 50928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=242464 CPUtime=1.46
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 25636 0 0 0 125 21 0 0 16 0 4 0 128343488 248283136 50928 1992294400 134512640 135180984 4294956208 18446744073709551615 134520798 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5684/tid=5687] ppid=5682 vsize=242464 CPUtime=1.47
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 25263 0 0 0 129 18 0 0 17 0 4 0 128343488 248283136 50928 1992294400 134512640 135180984 4294956208 18446744073709551615 134520807 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 242464

[startup+3.10188 s]
/proc/loadavg: 1.83 1.94 1.84 3/68 5688
/proc/meminfo: memFree=1271200/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=242464 CPUtime=6.13
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 50989 0 0 0 572 41 0 0 18 0 4 0 128343488 248283136 50928 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 60616 50928 66 163 0 60451 0
[pid=5684/tid=5685] ppid=5682 vsize=242464 CPUtime=0
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128343488 248283136 50928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=242464 CPUtime=3.05
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 25636 0 0 0 283 22 0 0 17 0 4 0 128343488 248283136 50928 1992294400 134512640 135180984 4294956208 18446744073709551615 134520776 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5684/tid=5687] ppid=5682 vsize=242464 CPUtime=3.06
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 25263 0 0 0 288 18 0 0 19 0 4 0 128343488 248283136 50928 1992294400 134512640 135180984 4294956208 18446744073709551615 134520902 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 242464

[startup+6.30124 s]
/proc/loadavg: 1.85 1.94 1.84 3/68 5688
/proc/meminfo: memFree=1306216/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=208212 CPUtime=12.45
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 55550 0 0 0 1180 65 0 0 18 0 4 0 128343488 213209088 42219 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 52053 42219 70 163 0 51888 0
[pid=5684/tid=5685] ppid=5682 vsize=208212 CPUtime=0.2
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 3753 0 0 0 9 11 0 0 16 0 4 0 128343488 213209088 42219 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=5684/tid=5686] ppid=5682 vsize=208212 CPUtime=6.1
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 26097 0 0 0 582 28 0 0 19 0 4 0 128343488 213209088 42219 1992294400 134512640 135180984 4294956208 18446744073709551615 134520865 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5684/tid=5687] ppid=5682 vsize=208212 CPUtime=6.13
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 25617 0 0 0 588 25 0 0 18 0 4 0 128343488 213209088 42219 1992294400 134512640 135180984 4294956208 18446744073709551615 134520773 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 208212

[startup+12.7019 s]
/proc/loadavg: 1.86 1.94 1.84 3/68 5688
/proc/meminfo: memFree=1306152/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=208212 CPUtime=25.23
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 55550 0 0 0 2457 66 0 0 18 0 4 0 128343488 213209088 42219 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 52053 42219 70 163 0 51888 0
[pid=5684/tid=5685] ppid=5682 vsize=208212 CPUtime=0.2
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 3753 0 0 0 9 11 0 0 16 0 4 0 128343488 213209088 42219 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=5684/tid=5686] ppid=5682 vsize=208212 CPUtime=12.5
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 26097 0 0 0 1222 28 0 0 25 0 4 0 128343488 213209088 42219 1992294400 134512640 135180984 4294956208 18446744073709551615 134520773 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5684/tid=5687] ppid=5682 vsize=208212 CPUtime=12.5
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 25617 0 0 0 1225 25 0 0 25 0 4 0 128343488 213209088 42219 1992294400 134512640 135180984 4294956208 18446744073709551615 134520804 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 208212

[startup+25.5024 s]
/proc/loadavg: 1.89 1.94 1.84 3/68 5688
/proc/meminfo: memFree=1303912/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=209504 CPUtime=50.65
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 56189 0 0 0 4872 193 0 0 18 0 4 0 128343488 214532096 42858 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 52376 42858 70 163 0 52211 0
[pid=5684/tid=5685] ppid=5682 vsize=209504 CPUtime=0.99
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 3862 0 0 0 28 71 0 0 16 0 4 0 128343488 214532096 42858 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=209504 CPUtime=24.87
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 26311 0 0 0 2426 61 0 0 17 0 4 0 128343488 214532096 42858 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=209504 CPUtime=24.78
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 25933 0 0 0 2417 61 0 0 17 0 4 0 128343488 214532096 42858 1992294400 134512640 135180984 4294956208 18446744073709551615 134528978 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 209504

[startup+51.1014 s]
/proc/loadavg: 1.93 1.94 1.85 3/68 5688
/proc/meminfo: memFree=1295848/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=218076 CPUtime=101.54
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 58206 0 0 0 9622 532 0 0 18 0 4 0 128343488 223309824 44875 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 54519 44875 70 163 0 54354 0
[pid=5684/tid=5685] ppid=5682 vsize=218076 CPUtime=2.94
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 4305 0 0 0 72 222 0 0 16 0 4 0 128343488 223309824 44875 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=5684/tid=5686] ppid=5682 vsize=218076 CPUtime=49.25
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 27114 0 0 0 4763 162 0 0 16 0 4 0 128343488 223309824 44875 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=218076 CPUtime=49.32
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 26704 0 0 0 4786 146 0 0 18 0 4 0 128343488 223309824 44875 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 218076

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.85 3/68 5688
/proc/meminfo: memFree=1282024/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=232120 CPUtime=203.63
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 61619 0 0 0 19459 904 0 0 18 0 4 0 128343488 237690880 48288 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 58030 48288 70 163 0 57865 0
[pid=5684/tid=5685] ppid=5682 vsize=232120 CPUtime=5.19
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 4950 0 0 0 128 391 0 0 16 0 4 0 128343488 237690880 48288 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=5684/tid=5686] ppid=5682 vsize=232120 CPUtime=99.2
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 28392 0 0 0 9654 266 0 0 25 0 4 0 128343488 237690880 48288 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5684/tid=5687] ppid=5682 vsize=232120 CPUtime=99.21
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 28194 0 0 0 9675 246 0 0 17 0 4 0 128343488 237690880 48288 1992294400 134512640 135180984 4294956208 18446744073709551615 134528549 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.63
Current children cumulated vsize (KiB) 232120

[startup+162.302 s]
/proc/loadavg: 2.03 1.97 1.86 3/68 5688
/proc/meminfo: memFree=1270056/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=243544 CPUtime=323.31
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 64629 0 0 0 31194 1137 0 0 18 0 4 0 128343488 249389056 51298 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 60886 51298 70 163 0 60721 0
[pid=5684/tid=5685] ppid=5682 vsize=243544 CPUtime=6.53
/proc/5684/task/5685/stat : 5685 (satake) R 5682 5684 5368 0 -1 4194368 5433 0 0 0 157 496 0 0 15 0 4 0 128343488 249389056 51298 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=243544 CPUtime=158.41
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 29732 0 0 0 15516 325 0 0 25 0 4 0 128343488 249389056 51298 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=243544 CPUtime=158.35
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 29381 0 0 0 15520 315 0 0 16 0 4 0 128343488 249389056 51298 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.31
Current children cumulated vsize (KiB) 243544

[startup+222.301 s]
/proc/loadavg: 2.01 1.97 1.87 3/68 5688
/proc/meminfo: memFree=1260200/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=253380 CPUtime=443.02
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 67099 0 0 0 42928 1374 0 0 18 0 4 0 128343488 259461120 53768 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 63345 53768 70 163 0 63180 0
[pid=5684/tid=5685] ppid=5682 vsize=253380 CPUtime=7.94
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 5844 0 0 0 188 606 0 0 15 0 4 0 128343488 259461120 53768 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=5684/tid=5686] ppid=5682 vsize=253380 CPUtime=217.53
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 30593 0 0 0 21361 392 0 0 25 0 4 0 128343488 259461120 53768 1992294400 134512640 135180984 4294956208 18446744073709551615 134528420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5684/tid=5687] ppid=5682 vsize=253380 CPUtime=217.53
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 30579 0 0 0 21378 375 0 0 25 0 4 0 128343488 259461120 53768 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.02
Current children cumulated vsize (KiB) 253380

[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.87 3/68 5688
/proc/meminfo: memFree=1250728/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=263780 CPUtime=562.76
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 69473 0 0 0 54730 1546 0 0 18 0 4 0 128343488 270110720 56142 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 65945 56142 70 163 0 65780 0
[pid=5684/tid=5685] ppid=5682 vsize=263780 CPUtime=8.91
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 6187 0 0 0 208 683 0 0 16 0 4 0 128343488 270110720 56142 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=5684/tid=5686] ppid=5682 vsize=263780 CPUtime=276.85
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 31561 0 0 0 27247 438 0 0 17 0 4 0 128343488 270110720 56142 1992294400 134512640 135180984 4294956208 18446744073709551615 134523840 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=263780 CPUtime=276.99
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 31642 0 0 0 27274 425 0 0 25 0 4 0 128343488 270110720 56142 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.76
Current children cumulated vsize (KiB) 263780

[startup+342.302 s]
/proc/loadavg: 2.00 1.97 1.88 3/68 5688
/proc/meminfo: memFree=1241192/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=273404 CPUtime=682.51
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 71837 0 0 0 66558 1693 0 0 18 0 4 0 128343488 279965696 58506 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 68351 58506 70 163 0 68186 0
[pid=5684/tid=5685] ppid=5682 vsize=273404 CPUtime=9.74
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 6515 0 0 0 227 747 0 0 16 0 4 0 128343488 279965696 58506 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=5684/tid=5686] ppid=5682 vsize=273404 CPUtime=336.42
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 32727 0 0 0 33164 478 0 0 25 0 4 0 128343488 279965696 58506 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=273404 CPUtime=336.31
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 32512 0 0 0 33165 466 0 0 25 0 4 0 128343488 279965696 58506 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.51
Current children cumulated vsize (KiB) 273404

[startup+402.302 s]
/proc/loadavg: 2.00 1.97 1.89 3/68 5688
/proc/meminfo: memFree=1233960/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=281296 CPUtime=802.24
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 73654 0 0 0 78423 1801 0 0 18 0 4 0 128343488 288047104 60323 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 70324 60323 70 163 0 70159 0
[pid=5684/tid=5685] ppid=5682 vsize=281296 CPUtime=10.37
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 6776 0 0 0 242 795 0 0 16 0 4 0 128343488 288047104 60323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=5684/tid=5686] ppid=5682 vsize=281296 CPUtime=395.97
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 33524 0 0 0 39087 510 0 0 25 0 4 0 128343488 288047104 60323 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5684/tid=5687] ppid=5682 vsize=281296 CPUtime=395.89
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 33271 0 0 0 39093 496 0 0 25 0 4 0 128343488 288047104 60323 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.24
Current children cumulated vsize (KiB) 281296

[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.89 3/68 5688
/proc/meminfo: memFree=1226664/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=287768 CPUtime=921.98
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 75451 0 0 0 90284 1914 0 0 18 0 4 0 128343488 294674432 62120 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 71942 62120 70 163 0 71777 0
[pid=5684/tid=5685] ppid=5682 vsize=287768 CPUtime=11
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7033 0 0 0 256 844 0 0 16 0 4 0 128343488 294674432 62120 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=287768 CPUtime=455.59
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 34421 0 0 0 45018 541 0 0 25 0 4 0 128343488 294674432 62120 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=287768 CPUtime=455.36
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 33914 0 0 0 45008 528 0 0 25 0 4 0 128343488 294674432 62120 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 921.98
Current children cumulated vsize (KiB) 287768

[startup+522.302 s]
/proc/loadavg: 2.00 1.97 1.90 3/68 5688
/proc/meminfo: memFree=1219624/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=295000 CPUtime=1041.71
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 77235 0 0 0 102144 2027 0 0 18 0 4 0 128343488 302080000 63904 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 73750 63904 70 163 0 73585 0
[pid=5684/tid=5685] ppid=5682 vsize=295000 CPUtime=11.67
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7303 0 0 0 270 897 0 0 16 0 4 0 128343488 302080000 63904 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=295000 CPUtime=515.27
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 35214 0 0 0 50958 569 0 0 25 0 4 0 128343488 302080000 63904 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=295000 CPUtime=514.77
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 34635 0 0 0 50916 561 0 0 25 0 4 0 128343488 302080000 63904 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.71
Current children cumulated vsize (KiB) 295000

[startup+582.302 s]
/proc/loadavg: 2.00 1.97 1.90 3/68 5688
/proc/meminfo: memFree=1214056/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=300580 CPUtime=1161.44
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 78605 0 0 0 114024 2120 0 0 18 0 4 0 128343488 307793920 65274 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 75145 65274 70 163 0 74980 0
[pid=5684/tid=5685] ppid=5682 vsize=300580 CPUtime=12.21
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7461 0 0 0 280 941 0 0 16 0 4 0 128343488 307793920 65274 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=300580 CPUtime=574.97
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 35813 0 0 0 56906 591 0 0 25 0 4 0 128343488 307793920 65274 1992294400 134512640 135180984 4294956208 18446744073709551615 134520873 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=300580 CPUtime=574.24
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 35248 0 0 0 56837 587 0 0 25 0 4 0 128343488 307793920 65274 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.44
Current children cumulated vsize (KiB) 300580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.707 s]
/proc/loadavg: 2.00 1.97 1.91 3/68 5688
/proc/meminfo: memFree=1211560/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=303816 CPUtime=1200.17
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 79199 0 0 0 117861 2156 0 0 18 0 4 0 128343488 311107584 65868 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 75954 65868 70 163 0 75789 0
[pid=5684/tid=5685] ppid=5682 vsize=303816 CPUtime=12.44
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7530 0 0 0 287 957 0 0 16 0 4 0 128343488 311107584 65868 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=303816 CPUtime=594.19
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 36105 0 0 0 58815 604 0 0 25 0 4 0 128343488 311107584 65868 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5684/tid=5687] ppid=5682 vsize=303816 CPUtime=593.52
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 35481 0 0 0 58758 594 0 0 25 0 4 0 128343488 311107584 65868 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 303816

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

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

[startup+601.707 s]
/proc/loadavg: 2.00 1.97 1.91 3/68 5688
/proc/meminfo: memFree=1211560/2055920 swapFree=4192812/4192956
[pid=5684] ppid=5682 vsize=303816 CPUtime=1200.17
/proc/5684/stat : 5684 (satake) S 5682 5684 5368 0 -1 4194304 79199 0 0 0 117861 2156 0 0 18 0 4 0 128343488 311107584 65868 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5684/statm: 75954 65868 70 163 0 75789 0
[pid=5684/tid=5685] ppid=5682 vsize=303816 CPUtime=12.44
/proc/5684/task/5685/stat : 5685 (satake) S 5682 5684 5368 0 -1 4194368 7530 0 0 0 287 957 0 0 16 0 4 0 128343488 311107584 65868 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=5684/tid=5686] ppid=5682 vsize=303816 CPUtime=594.19
/proc/5684/task/5686/stat : 5686 (satake) R 5682 5684 5368 0 -1 4194368 36105 0 0 0 58815 604 0 0 25 0 4 0 128343488 311107584 65868 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5684/tid=5687] ppid=5682 vsize=303816 CPUtime=593.52
/proc/5684/task/5687/stat : 5687 (satake) R 5682 5684 5368 0 -1 4194368 35481 0 0 0 58758 594 0 0 25 0 4 0 128343488 311107584 65868 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 303816

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.765
CPU time (s): 1200.24
CPU user time (s): 1178.62
CPU system time (s): 21.6127
CPU usage (%): 199.453
Max. virtual memory (cumulated for all children) (KiB): 303816

deleting IPC queue 2359296
deleting IPC queue 2392065
deleting IPC queue 2424834
deleting IPC queue 2457603
deleting IPC queue 2490372
deleting IPC queue 2523141
deleting IPC queue 2555910
deleting IPC queue 2588679
deleting IPC queue 2621448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1178.62
system time used= 21.6127
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79199
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= 1767335
involuntary context switches= 1756372

runsolver used 0.567913 second user time and 1.63775 second system time

The end

Launcher Data 

Begin job on node9 at 2009-04-29 13:04:57
IDJOB=1577608
IDBENCH=70962
IDSOLVER=553
FILE ID=node9/1577608-1241003096
PBS_JOBID= 9204858
Free space on /tmp= 66464 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L90_coli.sat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577608-1241003096/watcher-1577608-1241003096 -o /tmp/evaluation-result-1577608-1241003096/solver-1577608-1241003096 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1577608-1241003096.cnf 3 1200

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

MD5SUM BENCH= a9e7651569c1b43a1021c78982fb4e6b
RANDOM SEED=146467228

node9.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.240
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.240
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:       1475680 kB
Buffers:         53212 kB
Cached:         447676 kB
SwapCached:          0 kB
Active:          64072 kB
Inactive:       450812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1475680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           27284 kB
Writeback:           0 kB
Mapped:          23716 kB
Slab:            51348 kB
Committed_AS:   496224 kB
PageTables:       1388 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 node9 at 2009-04-29 13:15:01