Trace number 1577868

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.767

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
MD5SUM370a08d01be1cc652e9a09ab1aafdced
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark183.559
Satisfiable
(Un)Satisfiability was proved
Number of variables315617
Number of clauses1522583
Sum of the clauses size4407119
Maximum clause length11
Minimum clause length1
Number of clauses of size 132077
Number of clauses of size 2403677
Number of clauses of size 3835608
Number of clauses of size 4197035
Number of clauses of size 553887
Number of clauses of size over 5299

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-1577868-1241005411/watcher-1577868-1241005411 -o /tmp/evaluation-result-1577868-1241005411/solver-1577868-1241005411 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1577868-1241005411.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.00 1.00 0.92 3/64 10211
/proc/meminfo: memFree=773952/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=3592 CPUtime=0
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 693 0 0 0 0 0 0 0 18 0 4 0 128574320 3678208 679 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 898 684 65 163 0 733 0
[pid=10211/tid=10212] ppid=10209 vsize=3592 CPUtime=0
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128574320 3678208 702 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=3592 CPUtime=0
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 129 0 0 0 0 0 0 0 19 0 4 0 128574320 3678208 711 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10211/tid=10214] ppid=10209 vsize=3592 CPUtime=0
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 516 0 0 0 0 0 0 0 20 0 4 0 128574320 3678208 720 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0796101 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 10211
/proc/meminfo: memFree=773952/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=63868 CPUtime=0.14
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 15040 0 0 0 0 14 0 0 18 0 4 0 128574320 65400832 15025 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 15967 15025 65 163 0 15802 0
[pid=10211/tid=10212] ppid=10209 vsize=63868 CPUtime=0
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128574320 65400832 15025 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=63868 CPUtime=0.07
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 7426 0 0 0 0 7 0 0 18 0 4 0 128574320 65400832 15025 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=63868 CPUtime=0.07
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 7524 0 0 0 0 7 0 0 18 0 4 0 128574320 65400832 15025 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 63868

[startup+0.102852 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 10211
/proc/meminfo: memFree=773952/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=102120 CPUtime=0.18
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 16343 0 0 0 3 15 0 0 18 0 4 0 128574320 104570880 16299 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 25530 16299 65 163 0 25365 0
[pid=10211/tid=10212] ppid=10209 vsize=102120 CPUtime=0
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128574320 104570880 16299 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=102120 CPUtime=0.08
/proc/10211/task/10213/stat : 10213 (satake) D 10209 10211 9795 0 -1 4194368 8156 0 0 0 1 7 0 0 17 0 4 0 128574320 104570880 16299 1992294400 134512640 135180984 4294956208 18446744073709551615 134522560 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=102120 CPUtime=0.09
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 8097 0 0 0 2 7 0 0 17 0 4 0 128574320 104570880 16299 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 102120

[startup+0.302808 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 10211
/proc/meminfo: memFree=773952/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=125848 CPUtime=0.58
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 26965 0 0 0 36 22 0 0 18 0 4 0 128574320 128868352 26921 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 31462 26922 65 163 0 31297 0
[pid=10211/tid=10212] ppid=10209 vsize=125848 CPUtime=0
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128574320 128868352 26922 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=125848 CPUtime=0.28
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 13547 0 0 0 17 11 0 0 16 0 4 0 128574320 128868352 26922 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=125848 CPUtime=0.28
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 13329 0 0 0 18 10 0 0 17 0 4 0 128574320 128868352 26923 1992294400 134512640 135180984 4294956208 18446744073709551615 134535263 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 125848

[startup+0.703168 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 10211
/proc/meminfo: memFree=773952/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=160736 CPUtime=1.38
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 38357 0 0 0 109 29 0 0 18 0 4 0 128574320 164593664 38313 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 40184 38313 65 163 0 40019 0
[pid=10211/tid=10212] ppid=10209 vsize=160736 CPUtime=0
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128574320 164593664 38313 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=160736 CPUtime=0.68
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 19435 0 0 0 54 14 0 0 15 0 4 0 128574320 164593664 38313 1992294400 134512640 135180984 4294956208 18446744073709551615 134522704 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=160736 CPUtime=0.68
/proc/10211/task/10214/stat : 10214 (satake) D 10209 10211 9795 0 -1 4194368 18832 0 0 0 55 13 0 0 15 0 4 0 128574320 164593664 38313 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 160736

[startup+1.50201 s]
/proc/loadavg: 1.00 1.00 0.92 3/68 10215
/proc/meminfo: memFree=586784/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=263448 CPUtime=2.96
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 56163 0 0 0 254 42 0 0 18 0 4 0 128574320 269770752 56119 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 65862 56119 65 163 0 65697 0
[pid=10211/tid=10212] ppid=10209 vsize=263448 CPUtime=0
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128574320 269770752 56119 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=264472 CPUtime=1.47
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 28356 0 0 0 126 21 0 0 16 0 4 0 128574320 270819328 56121 1992294400 134512640 135180984 4294956208 18446744073709551615 134664766 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=264472 CPUtime=1.47
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 27719 0 0 0 127 20 0 0 16 0 4 0 128574320 270819328 56122 1992294400 134512640 135180984 4294956208 18446744073709551615 134513799 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 263448

[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 0.92 3/68 10215
/proc/meminfo: memFree=543904/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=272100 CPUtime=6.14
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 57219 0 0 0 571 43 0 0 18 0 4 0 128574320 278630400 57175 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 68025 57175 66 163 0 67860 0
[pid=10211/tid=10212] ppid=10209 vsize=272100 CPUtime=0
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 128574320 278630400 57175 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=272100 CPUtime=3.07
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 28482 0 0 0 285 22 0 0 18 0 4 0 128574320 278630400 57175 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=272100 CPUtime=3.07
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 28647 0 0 0 286 21 0 0 18 0 4 0 128574320 278630400 57175 1992294400 134512640 135180984 4294956208 18446744073709551615 134520800 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 272100

[startup+6.30184 s]
/proc/loadavg: 1.08 1.02 0.93 3/68 10215
/proc/meminfo: memFree=583968/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=233660 CPUtime=12.48
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 62622 0 0 0 1177 71 0 0 18 0 4 0 128574320 239267840 47542 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 58415 47542 70 163 0 58250 0
[pid=10211/tid=10212] ppid=10209 vsize=233660 CPUtime=0.3
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 4662 0 0 0 17 13 0 0 15 0 4 0 128574320 239267840 47542 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=233660 CPUtime=6.08
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 28848 0 0 0 578 30 0 0 17 0 4 0 128574320 239267840 47542 1992294400 134512640 135180984 4294956208 18446744073709551615 134523716 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10211/tid=10214] ppid=10209 vsize=233660 CPUtime=6.08
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 29029 0 0 0 581 27 0 0 17 0 4 0 128574320 239267840 47542 1992294400 134512640 135180984 4294956208 18446744073709551615 134520874 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 233660

[startup+12.7019 s]
/proc/loadavg: 1.15 1.03 0.93 3/68 10215
/proc/meminfo: memFree=583456/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=233660 CPUtime=25.24
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 62644 0 0 0 2452 72 0 0 18 0 4 0 128574320 239267840 47564 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 58415 47564 70 163 0 58250 0
[pid=10211/tid=10212] ppid=10209 vsize=233660 CPUtime=0.31
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 4664 0 0 0 17 14 0 0 15 0 4 0 128574320 239267840 47564 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=233660 CPUtime=12.44
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 28868 0 0 0 1214 30 0 0 25 0 4 0 128574320 239267840 47564 1992294400 134512640 135180984 4294956208 18446744073709551615 134520873 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10211/tid=10214] ppid=10209 vsize=233660 CPUtime=12.48
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 29029 0 0 0 1221 27 0 0 25 0 4 0 128574320 239267840 47564 1992294400 134512640 135180984 4294956208 18446744073709551615 134520798 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 233660

[startup+25.5021 s]
/proc/loadavg: 1.34 1.08 0.95 3/68 10215
/proc/meminfo: memFree=583072/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=233820 CPUtime=50.66
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 62852 0 0 0 4921 145 0 0 18 0 4 0 128574320 239431680 47772 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 58455 47772 70 163 0 58290 0
[pid=10211/tid=10212] ppid=10209 vsize=233820 CPUtime=0.74
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 4705 0 0 0 26 48 0 0 16 0 4 0 128574320 239431680 47772 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=233820 CPUtime=24.97
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 28971 0 0 0 2448 49 0 0 17 0 4 0 128574320 239431680 47772 1992294400 134512640 135180984 4294956208 18446744073709551615 134528516 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10211/tid=10214] ppid=10209 vsize=233820 CPUtime=24.93
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 29093 0 0 0 2446 47 0 0 16 0 4 0 128574320 239431680 47772 1992294400 134512640 135180984 4294956208 18446744073709551615 134519896 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 233820

[startup+51.1025 s]
/proc/loadavg: 1.56 1.15 0.97 3/68 10215
/proc/meminfo: memFree=576288/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=240604 CPUtime=101.65
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 64597 0 0 0 9760 405 0 0 18 0 4 0 128574320 246378496 49517 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 60151 49517 70 163 0 59986 0
[pid=10211/tid=10212] ppid=10209 vsize=240604 CPUtime=2.32
/proc/10211/task/10212/stat : 10212 (satake) R 10209 10211 9795 0 -1 4194368 5124 0 0 0 64 168 0 0 15 0 4 0 128574320 246378496 49517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10211/tid=10213] ppid=10209 vsize=240604 CPUtime=49.67
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 29731 0 0 0 4846 121 0 0 18 0 4 0 128574320 246378496 49517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=240604 CPUtime=49.65
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 29659 0 0 0 4850 115 0 0 18 0 4 0 128574320 246378496 49517 1992294400 134512640 135180984 4294956208 18446744073709551615 134528473 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 240604

[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.02 3/68 10215
/proc/meminfo: memFree=564256/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=252396 CPUtime=203.76
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 67532 0 0 0 19687 689 0 0 18 0 4 0 128574320 258453504 52452 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 63099 52452 70 163 0 62934 0
[pid=10211/tid=10212] ppid=10209 vsize=252396 CPUtime=3.96
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 5649 0 0 0 100 296 0 0 16 0 4 0 128574320 258453504 52452 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=252396 CPUtime=99.98
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 30770 0 0 0 9802 196 0 0 21 0 4 0 128574320 258453504 52452 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=252396 CPUtime=99.81
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 31030 0 0 0 9785 196 0 0 19 0 4 0 128574320 258453504 52452 1992294400 134512640 135180984 4294956208 18446744073709551615 134523655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 252396

[startup+162.303 s]
/proc/loadavg: 1.93 1.41 1.08 3/68 10215
/proc/meminfo: memFree=554144/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=262724 CPUtime=323.47
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 70084 0 0 0 31355 992 0 0 18 0 4 0 128574320 269029376 55004 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 65681 55004 70 163 0 65516 0
[pid=10211/tid=10212] ppid=10209 vsize=262724 CPUtime=5.73
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 6264 0 0 0 138 435 0 0 16 0 4 0 128574320 269029376 55004 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=262724 CPUtime=158.9
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 31740 0 0 0 15610 280 0 0 17 0 4 0 128574320 269029376 55004 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=262724 CPUtime=158.81
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 31997 0 0 0 15606 275 0 0 19 0 4 0 128574320 269029376 55004 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.47
Current children cumulated vsize (KiB) 262724

[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.14 3/68 10215
/proc/meminfo: memFree=542880/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=274532 CPUtime=443.14
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 72896 0 0 0 43014 1300 0 0 18 0 4 0 128574320 281120768 57816 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 68633 57816 70 163 0 68468 0
[pid=10211/tid=10212] ppid=10209 vsize=274532 CPUtime=7.52
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 6898 0 0 0 176 576 0 0 16 0 4 0 128574320 281120768 57816 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=274532 CPUtime=217.88
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 32834 0 0 0 21425 363 0 0 25 0 4 0 128574320 281120768 57816 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=274532 CPUtime=217.72
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 33081 0 0 0 21412 360 0 0 25 0 4 0 128574320 281120768 57816 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.14
Current children cumulated vsize (KiB) 274532

[startup+282.301 s]
/proc/loadavg: 2.03 1.61 1.19 3/68 10215
/proc/meminfo: memFree=531552/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=286224 CPUtime=562.85
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 75760 0 0 0 54766 1519 0 0 18 0 4 0 128574320 293093376 60680 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 71556 60680 70 163 0 71391 0
[pid=10211/tid=10212] ppid=10209 vsize=286224 CPUtime=8.81
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 7370 0 0 0 203 678 0 0 15 0 4 0 128574320 293093376 60680 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=286224 CPUtime=277.15
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 34283 0 0 0 27294 421 0 0 22 0 4 0 128574320 293093376 60680 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=286224 CPUtime=276.87
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 34024 0 0 0 27268 419 0 0 25 0 4 0 128574320 293093376 60680 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.85
Current children cumulated vsize (KiB) 286224

[startup+342.301 s]
/proc/loadavg: 2.01 1.68 1.24 3/68 10215
/proc/meminfo: memFree=520864/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=297860 CPUtime=682.56
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 78397 0 0 0 66557 1699 0 0 18 0 4 0 128574320 305008640 63317 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 74465 63317 70 163 0 74300 0
[pid=10211/tid=10212] ppid=10209 vsize=297860 CPUtime=9.86
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 7782 0 0 0 226 760 0 0 16 0 4 0 128574320 305008640 63317 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=297860 CPUtime=336.62
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 35181 0 0 0 33191 471 0 0 25 0 4 0 128574320 305008640 63317 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=297860 CPUtime=336.06
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 35351 0 0 0 33139 467 0 0 25 0 4 0 128574320 305008640 63317 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.56
Current children cumulated vsize (KiB) 297860

[startup+402.302 s]
/proc/loadavg: 2.00 1.74 1.29 3/68 10215
/proc/meminfo: memFree=509536/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=308920 CPUtime=802.28
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 81254 0 0 0 78363 1865 0 0 18 0 4 0 128574320 316334080 66174 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 77230 66174 70 163 0 77065 0
[pid=10211/tid=10212] ppid=10209 vsize=308920 CPUtime=10.84
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 8105 0 0 0 248 836 0 0 16 0 4 0 128574320 316334080 66174 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10211/tid=10213] ppid=10209 vsize=308920 CPUtime=395.94
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 36238 0 0 0 39073 521 0 0 18 0 4 0 128574320 316334080 66174 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10211/tid=10214] ppid=10209 vsize=308920 CPUtime=395.48
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 36828 0 0 0 39041 507 0 0 17 0 4 0 128574320 316334080 66174 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.28
Current children cumulated vsize (KiB) 308920

[startup+462.302 s]
/proc/loadavg: 2.00 1.78 1.33 3/68 10215
/proc/meminfo: memFree=499424/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=318412 CPUtime=922
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 83729 0 0 0 90192 2008 0 0 18 0 4 0 128574320 326053888 68649 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 79603 68649 70 163 0 79438 0
[pid=10211/tid=10212] ppid=10209 vsize=318412 CPUtime=11.66
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 8440 0 0 0 265 901 0 0 15 0 4 0 128574320 326053888 68649 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=318412 CPUtime=455.49
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 37182 0 0 0 44984 565 0 0 18 0 4 0 128574320 326053888 68649 1992294400 134512640 135180984 4294956208 18446744073709551615 134523603 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10211/tid=10214] ppid=10209 vsize=318412 CPUtime=454.83
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 38024 0 0 0 44942 541 0 0 25 0 4 0 128574320 326053888 68649 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922
Current children cumulated vsize (KiB) 318412

[startup+522.302 s]
/proc/loadavg: 2.00 1.82 1.37 3/68 10215
/proc/meminfo: memFree=489824/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=328836 CPUtime=1041.72
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 86130 0 0 0 102055 2117 0 0 18 0 4 0 128574320 336728064 71050 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 82209 71050 70 163 0 82044 0
[pid=10211/tid=10212] ppid=10209 vsize=328836 CPUtime=12.28
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 8693 0 0 0 278 950 0 0 16 0 4 0 128574320 336728064 71050 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=328836 CPUtime=515.14
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 38177 0 0 0 50919 595 0 0 25 0 4 0 128574320 336728064 71050 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10211/tid=10214] ppid=10209 vsize=328836 CPUtime=514.29
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 39177 0 0 0 50858 571 0 0 25 0 4 0 128574320 336728064 71050 1992294400 134512640 135180984 4294956208 18446744073709551615 134522980 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.72
Current children cumulated vsize (KiB) 328836

[startup+582.301 s]
/proc/loadavg: 2.00 1.85 1.40 3/68 10215
/proc/meminfo: memFree=483040/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=334948 CPUtime=1161.44
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 87809 0 0 0 113941 2203 0 0 18 0 4 0 128574320 342986752 72729 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 83737 72729 70 163 0 83572 0
[pid=10211/tid=10212] ppid=10209 vsize=334948 CPUtime=12.76
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 8904 0 0 0 287 989 0 0 16 0 4 0 128574320 342986752 72729 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10211/tid=10213] ppid=10209 vsize=334948 CPUtime=574.83
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 38906 0 0 0 56865 618 0 0 25 0 4 0 128574320 342986752 72729 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=334948 CPUtime=573.82
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 39916 0 0 0 56788 594 0 0 25 0 4 0 128574320 342986752 72729 1992294400 134512640 135180984 4294956208 18446744073709551615 134524410 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.44
Current children cumulated vsize (KiB) 334948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.707 s]
/proc/loadavg: 2.00 1.86 1.41 3/68 10215
/proc/meminfo: memFree=480480/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=337788 CPUtime=1200.17
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 88417 0 0 0 117782 2235 0 0 18 0 4 0 128574320 345894912 73337 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 84447 73337 70 163 0 84282 0
[pid=10211/tid=10212] ppid=10209 vsize=337788 CPUtime=12.96
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 8976 0 0 0 292 1004 0 0 16 0 4 0 128574320 345894912 73337 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10211/tid=10213] ppid=10209 vsize=337788 CPUtime=594.14
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 39209 0 0 0 58787 627 0 0 25 0 4 0 128574320 345894912 73337 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=337788 CPUtime=593.05
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 40149 0 0 0 58702 603 0 0 25 0 4 0 128574320 345894912 73337 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 337788

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.86 1.41 3/68 10215
/proc/meminfo: memFree=480480/2055920 swapFree=4179368/4192956
[pid=10211] ppid=10209 vsize=337788 CPUtime=1200.17
/proc/10211/stat : 10211 (satake) S 10209 10211 9795 0 -1 4194304 88417 0 0 0 117782 2235 0 0 18 0 4 0 128574320 345894912 73337 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10211/statm: 84447 73337 70 163 0 84282 0
[pid=10211/tid=10212] ppid=10209 vsize=337788 CPUtime=12.96
/proc/10211/task/10212/stat : 10212 (satake) S 10209 10211 9795 0 -1 4194368 8976 0 0 0 292 1004 0 0 16 0 4 0 128574320 345894912 73337 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10211/tid=10213] ppid=10209 vsize=337788 CPUtime=594.14
/proc/10211/task/10213/stat : 10213 (satake) R 10209 10211 9795 0 -1 4194368 39209 0 0 0 58787 627 0 0 25 0 4 0 128574320 345894912 73337 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10211/tid=10214] ppid=10209 vsize=337788 CPUtime=593.05
/proc/10211/task/10214/stat : 10214 (satake) R 10209 10211 9795 0 -1 4194368 40149 0 0 0 58702 603 0 0 25 0 4 0 128574320 345894912 73337 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 337788

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.767
CPU time (s): 1200.24
CPU user time (s): 1177.83
CPU system time (s): 22.4066
CPU usage (%): 199.452
Max. virtual memory (cumulated for all children) (KiB): 337788

deleting IPC queue 1179648
deleting IPC queue 1212417
deleting IPC queue 1245186
deleting IPC queue 1277955
deleting IPC queue 1310724
deleting IPC queue 1343493
deleting IPC queue 1376262
deleting IPC queue 1409031
deleting IPC queue 1441800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1177.83
system time used= 22.4066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88418
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= 1859397
involuntary context switches= 1845376

runsolver used 0.578911 second user time and 1.62675 second system time

The end

Launcher Data 

Begin job on node25 at 2009-04-29 13:43:33
IDJOB=1577868
IDBENCH=70967
IDSOLVER=553
FILE ID=node25/1577868-1241005411
PBS_JOBID= 9204842
Free space on /tmp= 66424 MiB

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

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

MD5SUM BENCH= 370a08d01be1cc652e9a09ab1aafdced
RANDOM SEED=314911462

node25.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.259
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.259
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:        774432 kB
Buffers:         46028 kB
Cached:        1180984 kB
SwapCached:       8548 kB
Active:         148668 kB
Inactive:      1088280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        774432 kB
SwapTotal:     4192956 kB
SwapFree:      4179368 kB
Dirty:           30820 kB
Writeback:           0 kB
Mapped:          13500 kB
Slab:            30552 kB
Committed_AS:   514848 kB
PageTables:       1460 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= 66424 MiB
End job on node25 at 2009-04-29 13:53:37