Trace number 1543425

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.06 601.726

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
MD5SUMf5bbeff2cbd29506603dd9467e477360
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark421.162
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses13600
Sum of the clauses size95200
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 513600

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-1543425-1238491182/watcher-1543425-1238491182 -o /tmp/evaluation-result-1543425-1238491182/solver-1543425-1238491182 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543425-1238491182.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: 0.92 0.98 0.99 3/64 24929
/proc/meminfo: memFree=1592552/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=2888 CPUtime=0
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 331 0 0 0 0 0 0 0 18 0 4 0 1121785336 2957312 316 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 722 316 65 163 0 557 0
[pid=24929/tid=24930] ppid=24927 vsize=2888 CPUtime=0
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121785336 2957312 316 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24929/tid=24931] ppid=24927 vsize=2888 CPUtime=0
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 118 0 0 0 0 0 0 0 20 0 4 0 1121785336 2957312 316 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24929/tid=24932] ppid=24927 vsize=2888 CPUtime=0
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 123 0 0 0 0 0 0 0 19 0 4 0 1121785336 2957312 316 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0810529 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24929
/proc/meminfo: memFree=1592552/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=3492 CPUtime=0.14
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 778 0 0 0 14 0 0 0 18 0 4 0 1121785336 3575808 571 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 873 571 70 163 0 708 0
[pid=24929/tid=24930] ppid=24927 vsize=3492 CPUtime=0
/proc/24929/task/24930/stat : 24930 (satake) R 24927 24929 24595 0 -1 4194368 11 0 0 0 0 0 0 0 17 0 4 0 1121785336 3575808 571 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=3492 CPUtime=0.06
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 346 0 0 0 6 0 0 0 16 0 4 0 1121785336 3575808 571 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=3492 CPUtime=0.07
/proc/24929/task/24932/stat : 24932 (satake) S 24927 24929 24595 0 -1 4194368 338 0 0 0 7 0 0 0 17 0 4 0 1121785336 3575808 571 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 3492

[startup+0.101742 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24929
/proc/meminfo: memFree=1592552/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=3492 CPUtime=0.18
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 796 0 0 0 17 1 0 0 18 0 4 0 1121785336 3575808 589 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 873 589 70 163 0 708 0
[pid=24929/tid=24930] ppid=24927 vsize=3492 CPUtime=0
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 12 0 0 0 0 0 0 0 16 0 4 0 1121785336 3575808 589 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=3492 CPUtime=0.08
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 356 0 0 0 8 0 0 0 17 0 4 0 1121785336 3575808 589 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=3492 CPUtime=0.09
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 345 0 0 0 9 0 0 0 17 0 4 0 1121785336 3575808 589 1992294400 134512640 135180984 4294956208 18446744073709551615 134526441 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 3492

[startup+0.301766 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24929
/proc/meminfo: memFree=1592552/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=4020 CPUtime=0.58
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 958 0 0 0 53 5 0 0 18 0 4 0 1121785336 4116480 751 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 1005 751 70 163 0 840 0
[pid=24929/tid=24930] ppid=24927 vsize=4020 CPUtime=0.02
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 18 0 0 0 0 2 0 0 16 0 4 0 1121785336 4116480 751 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24929/tid=24931] ppid=24927 vsize=4020 CPUtime=0.27
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 437 0 0 0 26 1 0 0 17 0 4 0 1121785336 4116480 751 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=4020 CPUtime=0.26
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 420 0 0 0 26 0 0 0 17 0 4 0 1121785336 4116480 751 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 4020

[startup+0.701808 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24929
/proc/meminfo: memFree=1592552/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=4824 CPUtime=1.36
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 1232 0 0 0 124 12 0 0 18 0 4 0 1121785336 4939776 1025 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 1206 1025 70 163 0 1041 0
[pid=24929/tid=24930] ppid=24927 vsize=4824 CPUtime=0.07
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 33 0 0 0 1 6 0 0 16 0 4 0 1121785336 4939776 1025 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=4824 CPUtime=0.64
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 562 0 0 0 61 3 0 0 17 0 4 0 1121785336 4939776 1025 1992294400 134512640 135180984 4294956208 18446744073709551615 134521149 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=4824 CPUtime=0.62
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 554 0 0 0 61 1 0 0 17 0 4 0 1121785336 4939776 1025 1992294400 134512640 135180984 4294956208 18446744073709551615 134526376 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 4824

[startup+1.50289 s]
/proc/loadavg: 0.92 0.98 0.99 3/68 24933
/proc/meminfo: memFree=1587848/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=7328 CPUtime=2.92
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 1681 0 0 0 272 20 0 0 18 0 4 0 1121785336 7503872 1474 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 1832 1474 70 163 0 1667 0
[pid=24929/tid=24930] ppid=24927 vsize=7328 CPUtime=0.11
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 57 0 0 0 2 9 0 0 16 0 4 0 1121785336 7503872 1474 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=7328 CPUtime=1.42
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 774 0 0 0 136 6 0 0 16 0 4 0 1121785336 7503872 1474 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=7328 CPUtime=1.37
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 767 0 0 0 133 4 0 0 19 0 4 0 1121785336 7503872 1474 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 7328

[startup+3.10287 s]
/proc/loadavg: 0.92 0.98 0.99 3/68 24933
/proc/meminfo: memFree=1585608/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=8284 CPUtime=6.12
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 1997 0 0 0 575 37 0 0 18 0 4 0 1121785336 8482816 1790 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 2071 1790 70 163 0 1906 0
[pid=24929/tid=24930] ppid=24927 vsize=8284 CPUtime=0.21
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 79 0 0 0 4 17 0 0 16 0 4 0 1121785336 8482816 1790 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=8284 CPUtime=2.97
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 941 0 0 0 287 10 0 0 17 0 4 0 1121785336 8482816 1790 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=8284 CPUtime=2.91
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 894 0 0 0 282 9 0 0 20 0 4 0 1121785336 8482816 1790 1992294400 134512640 135180984 4294956208 18446744073709551615 134528414 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 8284

[startup+6.3012 s]
/proc/loadavg: 1.01 1.00 1.00 3/68 24933
/proc/meminfo: memFree=1584072/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=9836 CPUtime=12.48
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 2330 0 0 0 1182 66 0 0 18 0 4 0 1121785336 10072064 2123 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 2459 2123 70 163 0 2294 0
[pid=24929/tid=24930] ppid=24927 vsize=9836 CPUtime=0.37
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 112 0 0 0 8 29 0 0 15 0 4 0 1121785336 10072064 2123 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=9836 CPUtime=6.07
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 1093 0 0 0 589 18 0 0 16 0 4 0 1121785336 10072064 2123 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24929/tid=24932] ppid=24927 vsize=9836 CPUtime=6.02
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 1042 0 0 0 584 18 0 0 17 0 4 0 1121785336 10072064 2123 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 9836

[startup+12.7029 s]
/proc/loadavg: 1.09 1.02 1.01 3/68 24933
/proc/meminfo: memFree=1582152/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=11660 CPUtime=25.22
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 2813 0 0 0 2412 110 0 0 18 0 4 0 1121785336 11939840 2606 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 2915 2606 70 163 0 2750 0
[pid=24929/tid=24930] ppid=24927 vsize=11660 CPUtime=0.65
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 156 0 0 0 16 49 0 0 16 0 4 0 1121785336 11939840 2606 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24929/tid=24931] ppid=24927 vsize=11660 CPUtime=12.3
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 1304 0 0 0 1201 29 0 0 17 0 4 0 1121785336 11939840 2606 1992294400 134512640 135180984 4294956208 18446744073709551615 134519885 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=11660 CPUtime=12.26
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 1270 0 0 0 1195 31 0 0 17 0 4 0 1121785336 11939840 2606 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 11660

[startup+25.5012 s]
/proc/loadavg: 1.29 1.06 1.02 4/68 24933
/proc/meminfo: memFree=1580360/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=13748 CPUtime=50.71
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 3267 0 0 0 4891 180 0 0 18 0 4 0 1121785336 14077952 3060 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 3437 3060 70 163 0 3272 0
[pid=24929/tid=24930] ppid=24927 vsize=13748 CPUtime=1.09
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 199 0 0 0 26 83 0 0 16 0 4 0 1121785336 14077952 3060 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=13748 CPUtime=24.82
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 1490 0 0 0 2435 47 0 0 17 0 4 0 1121785336 14077952 3060 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24929/tid=24932] ppid=24927 vsize=13748 CPUtime=24.79
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 1495 0 0 0 2429 50 0 0 17 0 4 0 1121785336 14077952 3060 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 13748

[startup+51.1011 s]
/proc/loadavg: 1.53 1.14 1.04 3/68 24933
/proc/meminfo: memFree=1576392/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=17828 CPUtime=101.76
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 4249 0 0 0 9874 302 0 0 18 0 4 0 1121785336 18255872 4042 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 4457 4042 70 163 0 4292 0
[pid=24929/tid=24930] ppid=24927 vsize=17828 CPUtime=1.75
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 316 0 0 0 41 134 0 0 16 0 4 0 1121785336 18255872 4042 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=17828 CPUtime=50.05
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 1973 0 0 0 4923 82 0 0 17 0 4 0 1121785336 18255872 4042 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=17828 CPUtime=49.94
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 1877 0 0 0 4909 85 0 0 16 0 4 0 1121785336 18255872 4042 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 17828

[startup+102.306 s]
/proc/loadavg: 1.79 1.27 1.09 3/68 24933
/proc/meminfo: memFree=1572232/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=22388 CPUtime=203.85
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 5266 0 0 0 19884 501 0 0 18 0 4 0 1121785336 22925312 5059 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 5597 5059 70 163 0 5432 0
[pid=24929/tid=24930] ppid=24927 vsize=22388 CPUtime=2.93
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 486 0 0 0 66 227 0 0 16 0 4 0 1121785336 22925312 5059 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24929/tid=24931] ppid=24927 vsize=22388 CPUtime=100.56
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 2319 0 0 0 9924 132 0 0 17 0 4 0 1121785336 22925312 5059 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=22388 CPUtime=100.34
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 2378 0 0 0 9893 141 0 0 17 0 4 0 1121785336 22925312 5059 1992294400 134512640 135180984 4294956208 18446744073709551615 134526496 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 22388

[startup+162.302 s]
/proc/loadavg: 1.92 1.40 1.15 3/68 24933
/proc/meminfo: memFree=1568584/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=25564 CPUtime=323.5
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 6164 0 0 0 31634 716 0 0 18 0 4 0 1121785336 26177536 5957 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 6391 5957 70 163 0 6226 0
[pid=24929/tid=24930] ppid=24927 vsize=25564 CPUtime=4.16
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 732 0 0 0 95 321 0 0 16 0 4 0 1121785336 26177536 5957 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=25564 CPUtime=159.84
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 2689 0 0 0 15791 193 0 0 18 0 4 0 1121785336 26177536 5957 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=25564 CPUtime=159.49
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 2660 0 0 0 15748 201 0 0 17 0 4 0 1121785336 26177536 5957 1992294400 134512640 135180984 4294956208 18446744073709551615 134528411 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.5
Current children cumulated vsize (KiB) 25564

[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.20 3/68 24933
/proc/meminfo: memFree=1565320/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=29712 CPUtime=443.2
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 6981 0 0 0 43399 921 0 0 18 0 4 0 1121785336 30425088 6774 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 7428 6774 70 163 0 7263 0
[pid=24929/tid=24930] ppid=24927 vsize=29712 CPUtime=5.33
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 965 0 0 0 121 412 0 0 16 0 4 0 1121785336 30425088 6774 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=29712 CPUtime=219.06
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 3059 0 0 0 21658 248 0 0 18 0 4 0 1121785336 30425088 6774 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=29712 CPUtime=218.78
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 2874 0 0 0 21619 259 0 0 18 0 4 0 1121785336 30425088 6774 1992294400 134512640 135180984 4294956208 18446744073709551615 134523982 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.2
Current children cumulated vsize (KiB) 29712

[startup+282.301 s]
/proc/loadavg: 2.03 1.61 1.25 3/68 24933
/proc/meminfo: memFree=1562760/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=32600 CPUtime=562.87
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 7611 0 0 0 55186 1101 0 0 18 0 4 0 1121785336 33382400 7404 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 8150 7404 70 163 0 7985 0
[pid=24929/tid=24930] ppid=24927 vsize=32600 CPUtime=6.36
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 1125 0 0 0 143 493 0 0 16 0 4 0 1121785336 33382400 7404 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=32600 CPUtime=278.38
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 3397 0 0 0 27539 299 0 0 22 0 4 0 1121785336 33382400 7404 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24929/tid=24932] ppid=24927 vsize=32600 CPUtime=278.11
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 3006 0 0 0 27503 308 0 0 17 0 4 0 1121785336 33382400 7404 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.87
Current children cumulated vsize (KiB) 32600

[startup+342.302 s]
/proc/loadavg: 2.01 1.68 1.29 3/68 24933
/proc/meminfo: memFree=1559944/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=34896 CPUtime=682.56
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 8323 0 0 0 66967 1289 0 0 18 0 4 0 1121785336 35733504 8116 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 8724 8116 70 163 0 8559 0
[pid=24929/tid=24930] ppid=24927 vsize=34896 CPUtime=7.46
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 1377 0 0 0 168 578 0 0 16 0 4 0 1121785336 35733504 8116 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=34896 CPUtime=337.63
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 3699 0 0 0 33412 351 0 0 17 0 4 0 1121785336 35733504 8116 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24929/tid=24932] ppid=24927 vsize=34896 CPUtime=337.46
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 3164 0 0 0 33386 360 0 0 17 0 4 0 1121785336 35733504 8116 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.56
Current children cumulated vsize (KiB) 34896

[startup+402.302 s]
/proc/loadavg: 2.00 1.73 1.33 3/68 24933
/proc/meminfo: memFree=1558472/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=37376 CPUtime=802.23
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 8690 0 0 0 78776 1447 0 0 18 0 4 0 1121785336 38273024 8483 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 9344 8483 70 163 0 9179 0
[pid=24929/tid=24930] ppid=24927 vsize=37376 CPUtime=8.42
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 1524 0 0 0 191 651 0 0 16 0 4 0 1121785336 38273024 8483 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=37376 CPUtime=397.02
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 3887 0 0 0 39308 394 0 0 17 0 4 0 1121785336 38273024 8483 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=37376 CPUtime=396.76
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 3196 0 0 0 39275 401 0 0 19 0 4 0 1121785336 38273024 8483 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.23
Current children cumulated vsize (KiB) 37376

[startup+462.301 s]
/proc/loadavg: 2.00 1.78 1.37 3/68 24933
/proc/meminfo: memFree=1556808/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=38760 CPUtime=921.92
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 9096 0 0 0 90582 1610 0 0 18 0 4 0 1121785336 39690240 8889 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 9690 8889 70 163 0 9525 0
[pid=24929/tid=24930] ppid=24927 vsize=38760 CPUtime=9.39
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 1712 0 0 0 213 726 0 0 16 0 4 0 1121785336 39690240 8889 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24929/tid=24931] ppid=24927 vsize=38760 CPUtime=456.41
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 4057 0 0 0 45204 437 0 0 17 0 4 0 1121785336 39690240 8889 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24929/tid=24932] ppid=24927 vsize=38760 CPUtime=456.1
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 3244 0 0 0 45164 446 0 0 17 0 4 0 1121785336 39690240 8889 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.92
Current children cumulated vsize (KiB) 38760

[startup+522.302 s]
/proc/loadavg: 2.00 1.82 1.41 3/68 24933
/proc/meminfo: memFree=1554760/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=41524 CPUtime=1041.61
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 9733 0 0 0 102372 1789 0 0 18 0 4 0 1121785336 42520576 9526 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 10381 9526 70 163 0 10216 0
[pid=24929/tid=24930] ppid=24927 vsize=41524 CPUtime=10.45
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 1926 0 0 0 236 809 0 0 16 0 4 0 1121785336 42520576 9526 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24929/tid=24931] ppid=24927 vsize=41524 CPUtime=515.65
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 4318 0 0 0 51078 487 0 0 16 0 4 0 1121785336 42520576 9526 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=41524 CPUtime=515.49
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 3406 0 0 0 51057 492 0 0 20 0 4 0 1121785336 42520576 9526 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.61
Current children cumulated vsize (KiB) 41524

[startup+582.302 s]
/proc/loadavg: 2.00 1.85 1.44 3/68 24933
/proc/meminfo: memFree=1552392/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=44180 CPUtime=1161.32
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 10194 0 0 0 114191 1941 0 0 18 0 4 0 1121785336 45240320 9987 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 11045 9987 70 163 0 10880 0
[pid=24929/tid=24930] ppid=24927 vsize=44180 CPUtime=11.33
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 2142 0 0 0 255 878 0 0 16 0 4 0 1121785336 45240320 9987 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=44180 CPUtime=575.19
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 4461 0 0 0 56991 528 0 0 17 0 4 0 1121785336 45240320 9987 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=44180 CPUtime=574.79
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 3508 0 0 0 56944 535 0 0 18 0 4 0 1121785336 45240320 9987 1992294400 134512640 135180984 4294956208 18446744073709551615 134528731 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.32
Current children cumulated vsize (KiB) 44180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.707 s]
/proc/loadavg: 2.00 1.86 1.46 3/68 24933
/proc/meminfo: memFree=1551944/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=44180 CPUtime=1200.03
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 10313 0 0 0 118014 1989 0 0 18 0 4 0 1121785336 45240320 10106 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 11045 10106 70 163 0 10880 0
[pid=24929/tid=24930] ppid=24927 vsize=44180 CPUtime=11.63
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 2204 0 0 0 263 900 0 0 16 0 4 0 1121785336 45240320 10106 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=44180 CPUtime=594.43
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 4516 0 0 0 58902 541 0 0 18 0 4 0 1121785336 45240320 10106 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=44180 CPUtime=593.96
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 3510 0 0 0 58848 548 0 0 18 0 4 0 1121785336 45240320 10106 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 44180

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.46 3/68 24933
/proc/meminfo: memFree=1551944/2055920 swapFree=4174972/4192956
[pid=24929] ppid=24927 vsize=44180 CPUtime=1200.03
/proc/24929/stat : 24929 (satake) S 24927 24929 24595 0 -1 4194304 10313 0 0 0 118014 1989 0 0 18 0 4 0 1121785336 45240320 10106 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24929/statm: 11045 10106 70 163 0 10880 0
[pid=24929/tid=24930] ppid=24927 vsize=44180 CPUtime=11.63
/proc/24929/task/24930/stat : 24930 (satake) S 24927 24929 24595 0 -1 4194368 2204 0 0 0 263 900 0 0 16 0 4 0 1121785336 45240320 10106 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24929/tid=24931] ppid=24927 vsize=44180 CPUtime=594.43
/proc/24929/task/24931/stat : 24931 (satake) R 24927 24929 24595 0 -1 4194368 4516 0 0 0 58902 541 0 0 18 0 4 0 1121785336 45240320 10106 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24929/tid=24932] ppid=24927 vsize=44180 CPUtime=593.96
/proc/24929/task/24932/stat : 24932 (satake) R 24927 24929 24595 0 -1 4194368 3510 0 0 0 58848 548 0 0 18 0 4 0 1121785336 45240320 10106 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 44180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.726
CPU time (s): 1200.06
CPU user time (s): 1180.16
CPU system time (s): 19.907
CPU usage (%): 199.437
Max. virtual memory (cumulated for all children) (KiB): 44180

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 196614

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1180.16
system time used= 19.907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10313
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= 1561150
involuntary context switches= 1538850

runsolver used 0.537918 second user time and 1.66675 second system time

The end

Launcher Data 

Begin job on node7 at 2009-03-31 11:19:43
IDJOB=1543425
IDBENCH=70266
IDSOLVER=553
FILE ID=node7/1543425-1238491182
PBS_JOBID= 9061859
Free space on /tmp= 65660 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S1178729443-051.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543425-1238491182/watcher-1543425-1238491182 -o /tmp/evaluation-result-1543425-1238491182/solver-1543425-1238491182 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543425-1238491182.cnf 3 1200

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

MD5SUM BENCH= f5bbeff2cbd29506603dd9467e477360
RANDOM SEED=2006658156

node7.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:       1592968 kB
Buffers:         94008 kB
Cached:         273072 kB
SwapCached:      11884 kB
Active:         171416 kB
Inactive:       208972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1592968 kB
SwapTotal:     4192956 kB
SwapFree:      4174972 kB
Dirty:            1132 kB
Writeback:           0 kB
Mapped:          19080 kB
Slab:            68516 kB
Committed_AS:  2987484 kB
PageTables:       1456 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= 65660 MiB
End job on node7 at 2009-03-31 11:29:46