Trace number 1582756

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22? (TO) 1200.25 601.783

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-15-5p1.cnf
MD5SUM3860cadf04571c4600e5fd531189ff9f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark106.142
Satisfiable
(Un)Satisfiability was proved
Number of variables163388
Number of clauses832285
Sum of the clauses size1984984
Maximum clause length10
Minimum clause length1
Number of clauses of size 18386
Number of clauses of size 2619899
Number of clauses of size 3162400
Number of clauses of size 44620
Number of clauses of size 518480
Number of clauses of size over 518500

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-1582756-1238943551/watcher-1582756-1238943551 -o /tmp/evaluation-result-1582756-1238943551/solver-1582756-1238943551 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1582756-1238943551.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 1.00 3/81 20319
/proc/meminfo: memFree=1753768/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=5120 CPUtime=0
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 875 0 0 0 0 0 0 0 20 0 4 0 520684108 5242880 861 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 1280 867 65 163 0 1115 0
[pid=20319/tid=20320] ppid=20317 vsize=5120 CPUtime=0
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 520684108 5242880 887 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=5120 CPUtime=0
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 822 0 0 0 0 0 0 0 22 0 4 0 520684108 5242880 897 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20319/tid=20322] ppid=20317 vsize=5120 CPUtime=0
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 4 0 520684108 5242880 905 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0984159 s]
/proc/loadavg: 1.00 1.00 1.00 3/81 20319
/proc/meminfo: memFree=1753768/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=61744 CPUtime=0.17
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 13632 0 0 0 7 10 0 0 20 0 4 0 520684108 63225856 13594 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 15436 13597 65 163 0 15271 0
[pid=20319/tid=20320] ppid=20317 vsize=61744 CPUtime=0
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 520684108 63225856 13599 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=61744 CPUtime=0.08
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 6972 0 0 0 3 5 0 0 17 0 4 0 520684108 63225856 13600 1992294400 134512640 135180984 4294956208 18446744073709551615 134522560 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20319/tid=20322] ppid=20317 vsize=61744 CPUtime=0.08
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 6576 0 0 0 3 5 0 0 17 0 4 0 520684108 63225856 13602 1992294400 134512640 135180984 4294956208 18446744073709551615 134522762 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 61744

[startup+0.102407 s]
/proc/loadavg: 1.00 1.00 1.00 3/81 20319
/proc/meminfo: memFree=1753768/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=62008 CPUtime=0.18
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 14022 0 0 0 8 10 0 0 20 0 4 0 520684108 63496192 13984 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 15502 13986 65 163 0 15337 0
[pid=20319/tid=20320] ppid=20317 vsize=62008 CPUtime=0
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 520684108 63496192 13987 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=62008 CPUtime=0.09
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 7175 0 0 0 4 5 0 0 17 0 4 0 520684108 63496192 13989 1992294400 134512640 135180984 4294956208 18446744073709551615 134522569 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20319/tid=20322] ppid=20317 vsize=62008 CPUtime=0.08
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 6762 0 0 0 3 5 0 0 17 0 4 0 520684108 63496192 13993 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 62008

[startup+0.302435 s]
/proc/loadavg: 1.00 1.00 1.00 3/81 20319
/proc/meminfo: memFree=1753768/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=94212 CPUtime=0.57
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 18293 0 0 0 42 15 0 0 20 0 4 0 520684108 96473088 18255 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 23553 18255 65 163 0 23388 0
[pid=20319/tid=20320] ppid=20317 vsize=94212 CPUtime=0
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 520684108 96473088 18255 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=94212 CPUtime=0.28
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 9146 0 0 0 21 7 0 0 16 0 4 0 520684108 96473088 18255 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20319/tid=20322] ppid=20317 vsize=94212 CPUtime=0.28
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 9057 0 0 0 21 7 0 0 16 0 4 0 520684108 96473088 18255 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 94212

[startup+0.70147 s]
/proc/loadavg: 1.00 1.00 1.00 3/81 20319
/proc/meminfo: memFree=1753768/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=114172 CPUtime=1.36
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 23253 0 0 0 116 20 0 0 20 0 4 0 520684108 116912128 23215 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 28543 23215 65 163 0 28378 0
[pid=20319/tid=20320] ppid=20317 vsize=114172 CPUtime=0
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 520684108 116912128 23216 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=114172 CPUtime=0.68
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 11580 0 0 0 58 10 0 0 16 0 4 0 520684108 116912128 23216 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20319/tid=20322] ppid=20317 vsize=114172 CPUtime=0.67
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 11584 0 0 0 58 9 0 0 16 0 4 0 520684108 116912128 23216 1992294400 134512640 135180984 4294956208 18446744073709551615 134513762 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 114172

[startup+1.50257 s]
/proc/loadavg: 1.00 1.00 1.00 3/85 20323
/proc/meminfo: memFree=1636360/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=117868 CPUtime=2.95
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 31996 0 0 0 265 30 0 0 20 0 4 0 520684108 120696832 24380 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 29467 24380 68 163 0 29302 0
[pid=20319/tid=20320] ppid=20317 vsize=117868 CPUtime=0.05
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2374 0 0 0 4 1 0 0 17 0 4 0 520684108 120696832 24380 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=117868 CPUtime=1.45
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 14762 0 0 0 132 13 0 0 16 0 4 0 520684108 120696832 24380 1992294400 134512640 135180984 4294956208 18446744073709551615 134525228 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=117868 CPUtime=1.42
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 14777 0 0 0 128 14 0 0 17 0 4 0 520684108 120696832 24380 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 117868

[startup+3.10171 s]
/proc/loadavg: 1.00 1.00 1.00 3/85 20323
/proc/meminfo: memFree=1655240/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=117868 CPUtime=6.12
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 32026 0 0 0 579 33 0 0 20 0 4 0 520684108 120696832 24410 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 29467 24410 70 163 0 29302 0
[pid=20319/tid=20320] ppid=20317 vsize=117868 CPUtime=0.07
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2376 0 0 0 4 3 0 0 15 0 4 0 520684108 120696832 24410 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=117868 CPUtime=3.04
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 14763 0 0 0 289 15 0 0 17 0 4 0 520684108 120696832 24410 1992294400 134512640 135180984 4294956208 18446744073709551615 134528644 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=117868 CPUtime=3
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 14804 0 0 0 285 15 0 0 17 0 4 0 520684108 120696832 24410 1992294400 134512640 135180984 4294956208 18446744073709551615 134519896 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 117868

[startup+6.30203 s]
/proc/loadavg: 1.24 1.05 1.02 3/85 20323
/proc/meminfo: memFree=1655304/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=118008 CPUtime=12.5
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 32035 0 0 0 1207 43 0 0 20 0 4 0 520684108 120840192 24419 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 29502 24419 70 163 0 29337 0
[pid=20319/tid=20320] ppid=20317 vsize=118008 CPUtime=0.13
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2376 0 0 0 6 7 0 0 15 0 4 0 520684108 120840192 24419 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=118008 CPUtime=6.18
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 14769 0 0 0 601 17 0 0 18 0 4 0 520684108 120840192 24419 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=118008 CPUtime=6.17
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 14807 0 0 0 599 18 0 0 18 0 4 0 520684108 120840192 24419 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 118008

[startup+12.7017 s]
/proc/loadavg: 1.30 1.07 1.02 3/85 20323
/proc/meminfo: memFree=1655000/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=118832 CPUtime=25.26
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 32254 0 0 0 2456 70 0 0 20 0 4 0 520684108 121683968 24638 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 29708 24638 70 163 0 29543 0
[pid=20319/tid=20320] ppid=20317 vsize=118832 CPUtime=0.28
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2380 0 0 0 9 19 0 0 15 0 4 0 520684108 121683968 24638 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=118832 CPUtime=12.47
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 14877 0 0 0 1222 25 0 0 18 0 4 0 520684108 121683968 24638 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=118832 CPUtime=12.48
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 14914 0 0 0 1224 24 0 0 17 0 4 0 520684108 121683968 24638 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 118832

[startup+25.5021 s]
/proc/loadavg: 1.45 1.11 1.04 3/85 20323
/proc/meminfo: memFree=1650776/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=123192 CPUtime=50.79
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 33378 0 0 0 4965 114 0 0 20 0 4 0 520684108 126148608 25762 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 30798 25762 70 163 0 30633 0
[pid=20319/tid=20320] ppid=20317 vsize=123192 CPUtime=0.52
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2389 0 0 0 14 38 0 0 15 0 4 0 520684108 126148608 25762 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=123192 CPUtime=25.11
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 15515 0 0 0 2474 37 0 0 24 0 4 0 520684108 126148608 25762 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=123192 CPUtime=25.13
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 15391 0 0 0 2475 38 0 0 25 0 4 0 520684108 126148608 25762 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 123192

[startup+51.1026 s]
/proc/loadavg: 1.64 1.18 1.06 3/85 20323
/proc/meminfo: memFree=1637464/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=136300 CPUtime=101.85
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 36708 0 0 0 10009 176 0 0 20 0 4 0 520684108 139571200 29092 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 34075 29092 70 163 0 33910 0
[pid=20319/tid=20320] ppid=20317 vsize=136300 CPUtime=0.86
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2444 0 0 0 22 64 0 0 15 0 4 0 520684108 139571200 29092 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=136300 CPUtime=50.54
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 17102 0 0 0 4999 55 0 0 25 0 4 0 520684108 139571200 29092 1992294400 134512640 135180984 4294956208 18446744073709551615 134522617 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=136300 CPUtime=50.42
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 17079 0 0 0 4987 55 0 0 18 0 4 0 520684108 139571200 29092 1992294400 134512640 135180984 4294956208 18446744073709551615 134528068 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 136300

[startup+102.308 s]
/proc/loadavg: 1.84 1.30 1.11 3/85 20323
/proc/meminfo: memFree=1608664/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=164884 CPUtime=203.98
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 43844 0 0 0 20139 259 0 0 20 0 4 0 520684108 168841216 36228 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 41221 36228 70 163 0 41056 0
[pid=20319/tid=20320] ppid=20317 vsize=164884 CPUtime=1.29
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2518 0 0 0 33 96 0 0 15 0 4 0 520684108 168841216 36228 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=164884 CPUtime=101.52
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 20625 0 0 0 10071 81 0 0 18 0 4 0 520684108 168841216 36228 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=164884 CPUtime=101.14
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 20618 0 0 0 10034 80 0 0 25 0 4 0 520684108 168841216 36228 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 164884

[startup+162.302 s]
/proc/loadavg: 1.94 1.43 1.16 3/85 20329
/proc/meminfo: memFree=1577880/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=196184 CPUtime=323.63
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 51584 0 0 0 32043 320 0 0 20 0 4 0 520684108 200892416 43968 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 49046 43968 70 163 0 48881 0
[pid=20319/tid=20320] ppid=20317 vsize=196184 CPUtime=1.62
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2618 0 0 0 41 121 0 0 15 0 4 0 520684108 200892416 43968 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=196184 CPUtime=161.32
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 24904 0 0 0 16034 98 0 0 25 0 4 0 520684108 200892416 43968 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=196184 CPUtime=160.67
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 23979 0 0 0 15967 100 0 0 25 0 4 0 520684108 200892416 43968 1992294400 134512640 135180984 4294956208 18446744073709551615 134525235 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (KiB) 196184

[startup+222.302 s]
/proc/loadavg: 1.98 1.53 1.21 3/85 20329
/proc/meminfo: memFree=1546264/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=226256 CPUtime=443.32
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 59402 0 0 0 43963 369 0 0 20 0 4 0 520684108 231686144 51786 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 56564 51786 70 163 0 56399 0
[pid=20319/tid=20320] ppid=20317 vsize=226256 CPUtime=1.85
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2667 0 0 0 46 139 0 0 15 0 4 0 520684108 231686144 51786 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=226256 CPUtime=221.19
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 28703 0 0 0 22006 113 0 0 25 0 4 0 520684108 231686144 51786 1992294400 134512640 135180984 4294956208 18446744073709551615 134525166 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=226256 CPUtime=220.26
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 27949 0 0 0 21910 116 0 0 18 0 4 0 520684108 231686144 51786 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.32
Current children cumulated vsize (KiB) 226256

[startup+282.302 s]
/proc/loadavg: 1.99 1.61 1.26 3/85 20329
/proc/meminfo: memFree=1517848/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=255936 CPUtime=563.01
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 66538 0 0 0 55893 408 0 0 20 0 4 0 520684108 262078464 58922 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 63984 58923 70 163 0 63819 0
[pid=20319/tid=20320] ppid=20317 vsize=255936 CPUtime=2.04
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2698 0 0 0 51 153 0 0 15 0 4 0 520684108 262078464 58923 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=255936 CPUtime=281.07
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 32827 0 0 0 27980 127 0 0 25 0 4 0 520684108 262078464 58923 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=255936 CPUtime=279.89
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 30931 0 0 0 27862 127 0 0 25 0 4 0 520684108 262078464 58923 1992294400 134512640 135180984 4294956208 18446744073709551615 134525209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.01
Current children cumulated vsize (KiB) 255936

[startup+342.302 s]
/proc/loadavg: 1.99 1.68 1.30 3/85 20329
/proc/meminfo: memFree=1487192/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=286372 CPUtime=682.7
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 74129 0 0 0 67833 437 0 0 20 0 4 0 520684108 293244928 66513 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 71593 66513 70 163 0 71428 0
[pid=20319/tid=20320] ppid=20317 vsize=286372 CPUtime=2.17
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2722 0 0 0 55 162 0 0 15 0 4 0 520684108 293244928 66513 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=286372 CPUtime=340.98
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 36774 0 0 0 33960 138 0 0 25 0 4 0 520684108 293244928 66513 1992294400 134512640 135180984 4294956208 18446744073709551615 134523702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=286372 CPUtime=339.53
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 34550 0 0 0 33817 136 0 0 25 0 4 0 520684108 293244928 66513 1992294400 134512640 135180984 4294956208 18446744073709551615 134518263 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.7
Current children cumulated vsize (KiB) 286372

[startup+402.303 s]
/proc/loadavg: 1.99 1.74 1.34 3/85 20329
/proc/meminfo: memFree=1456920/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=317436 CPUtime=802.4
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 81789 0 0 0 79766 474 0 0 20 0 4 0 520684108 325054464 74173 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 79359 74173 70 163 0 79194 0
[pid=20319/tid=20320] ppid=20317 vsize=317436 CPUtime=2.31
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2763 0 0 0 58 173 0 0 15 0 4 0 520684108 325054464 74173 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=317436 CPUtime=400.88
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 40715 0 0 0 39936 152 0 0 25 0 4 0 520684108 325054464 74173 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=317436 CPUtime=399.17
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 38228 0 0 0 39770 147 0 0 25 0 4 0 520684108 325054464 74173 1992294400 134512640 135180984 4294956208 18446744073709551615 134522714 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.4
Current children cumulated vsize (KiB) 317436

[startup+462.303 s]
/proc/loadavg: 1.99 1.78 1.38 3/85 20329
/proc/meminfo: memFree=1428568/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=345080 CPUtime=922.08
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 88754 0 0 0 91712 496 0 0 20 0 4 0 520684108 353361920 81138 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 86270 81138 70 163 0 86105 0
[pid=20319/tid=20320] ppid=20317 vsize=345080 CPUtime=2.39
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2781 0 0 0 61 178 0 0 15 0 4 0 520684108 353361920 81138 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=345080 CPUtime=460.82
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 44900 0 0 0 45919 163 0 0 25 0 4 0 520684108 353361920 81138 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=345080 CPUtime=458.84
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 40990 0 0 0 45731 153 0 0 25 0 4 0 520684108 353361920 81138 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.08
Current children cumulated vsize (KiB) 345080

[startup+522.303 s]
/proc/loadavg: 1.99 1.82 1.41 3/85 20329
/proc/meminfo: memFree=1399320/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=374356 CPUtime=1041.77
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 96082 0 0 0 103652 525 0 0 20 0 4 0 520684108 383340544 88466 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 93589 88466 70 163 0 93424 0
[pid=20319/tid=20320] ppid=20317 vsize=374356 CPUtime=2.52
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2807 0 0 0 65 187 0 0 15 0 4 0 520684108 383340544 88466 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=374356 CPUtime=520.74
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 48851 0 0 0 51900 174 0 0 24 0 4 0 520684108 383340544 88466 1992294400 134512640 135180984 4294956208 18446744073709551615 134522699 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=374356 CPUtime=518.49
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 44341 0 0 0 51686 163 0 0 25 0 4 0 520684108 383340544 88466 1992294400 134512640 135180984 4294956208 18446744073709551615 134525473 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.77
Current children cumulated vsize (KiB) 374356

[startup+582.302 s]
/proc/loadavg: 1.99 1.85 1.45 3/85 20329
/proc/meminfo: memFree=1366040/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=407760 CPUtime=1161.46
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 104368 0 0 0 115595 551 0 0 20 0 4 0 520684108 417546240 96752 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 101940 96752 70 163 0 101775 0
[pid=20319/tid=20320] ppid=20317 vsize=407760 CPUtime=2.64
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2833 0 0 0 69 195 0 0 16 0 4 0 520684108 417546240 96752 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20319/tid=20321] ppid=20317 vsize=407760 CPUtime=580.66
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 52996 0 0 0 57883 183 0 0 25 0 4 0 520684108 417546240 96752 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=407760 CPUtime=578.14
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 48456 0 0 0 57642 172 0 0 25 0 4 0 520684108 417546240 96752 1992294400 134512640 135180984 4294956208 18446744073709551615 134527501 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.46
Current children cumulated vsize (KiB) 407760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.707 s]
/proc/loadavg: 1.99 1.86 1.46 3/85 20329
/proc/meminfo: memFree=1355160/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=418084 CPUtime=1200.17
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 107012 0 0 0 119457 560 0 0 20 0 4 0 520684108 428118016 99396 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 104521 99396 70 163 0 104356 0
[pid=20319/tid=20320] ppid=20317 vsize=418084 CPUtime=2.67
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2842 0 0 0 70 197 0 0 15 0 4 0 520684108 428118016 99396 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=418084 CPUtime=600.04
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 54446 0 0 0 59818 186 0 0 25 0 4 0 520684108 428118016 99396 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=418084 CPUtime=597.43
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 49641 0 0 0 59568 175 0 0 25 0 4 0 520684108 428118016 99396 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 418084

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: 1.99 1.86 1.46 3/85 20329
/proc/meminfo: memFree=1355160/2055920 swapFree=4169716/4192956
[pid=20319] ppid=20317 vsize=418084 CPUtime=1200.17
/proc/20319/stat : 20319 (satake) S 20317 20319 20252 0 -1 4194304 107012 0 0 0 119457 560 0 0 20 0 4 0 520684108 428118016 99396 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20319/statm: 104521 99396 70 163 0 104356 0
[pid=20319/tid=20320] ppid=20317 vsize=418084 CPUtime=2.67
/proc/20319/task/20320/stat : 20320 (satake) S 20317 20319 20252 0 -1 4194368 2842 0 0 0 70 197 0 0 15 0 4 0 520684108 428118016 99396 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20319/tid=20321] ppid=20317 vsize=418084 CPUtime=600.04
/proc/20319/task/20321/stat : 20321 (satake) R 20317 20319 20252 0 -1 4194368 54446 0 0 0 59818 186 0 0 25 0 4 0 520684108 428118016 99396 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20319/tid=20322] ppid=20317 vsize=418084 CPUtime=597.43
/proc/20319/task/20322/stat : 20322 (satake) R 20317 20319 20252 0 -1 4194368 49641 0 0 0 59568 175 0 0 25 0 4 0 520684108 428118016 99396 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 418084

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.783
CPU time (s): 1200.25
CPU user time (s): 1194.59
CPU system time (s): 5.66714
CPU usage (%): 199.45
Max. virtual memory (cumulated for all children) (KiB): 418084

deleting IPC queue 1900544
deleting IPC queue 1933313
deleting IPC queue 1966082
deleting IPC queue 1998851
deleting IPC queue 2031620
deleting IPC queue 2064389
deleting IPC queue 2097158
deleting IPC queue 2129927
deleting IPC queue 2162696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.59
system time used= 5.66714
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107012
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= 386794
involuntary context switches= 391427

runsolver used 0.71989 second user time and 2.03269 second system time

The end

Launcher Data 

Begin job on node89 at 2009-04-05 16:59:12
IDJOB=1582756
IDBENCH=71061
IDSOLVER=553
FILE ID=node89/1582756-1238943551
PBS_JOBID= 9101519
Free space on /tmp= 66504 MiB

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

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

MD5SUM BENCH= 3860cadf04571c4600e5fd531189ff9f
RANDOM SEED=616577081

node89.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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1754248 kB
Buffers:         14920 kB
Cached:         215704 kB
SwapCached:      12136 kB
Active:          59408 kB
Inactive:       184856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754248 kB
SwapTotal:     4192956 kB
SwapFree:      4169716 kB
Dirty:           15900 kB
Writeback:           0 kB
Mapped:          19560 kB
Slab:            41700 kB
Committed_AS:  1900336 kB
PageTables:       2600 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= 66504 MiB
End job on node89 at 2009-04-05 17:09:16