176.53/89.39 c Benchmark name : HOME/instance-1780435-1243648044.cnf
176.53/89.39 c Thread Num : 4
176.53/89.39 c restarts : 12
176.53/89.39 c conflicts : 21054
176.53/89.39 c decisions : 250403 ( 2808 / sec )
176.53/89.39 c propagations : 90424521 ( 1014127 / sec )
176.53/89.39 c inspects : 234857599 ( 2633969 / sec )
176.53/89.39 c conflict literals : 4077249 ( 24.25 % deleted )
176.53/89.39 c cpu time : 89.16
176.53/89.39 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780435-1243648044/watcher-1780435-1243648044 -o /tmp/evaluation-result-1780435-1243648044/solver-1780435-1243648044 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780435-1243648044.cnf 4 10000
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=1096 CPUtime=0
/proc/30194/stat : 30194 (satake) R 30192 30194 17312 0 -1 4202496 110 0 0 0 0 0 0 0 21 0 4 0 1129467310 1122304 67 4294967295 134512640 135180984 3218630880 3218630224 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30194/statm: 274 67 54 164 0 109 0
[pid=30194/tid=30195] ppid=30192 vsize=1096 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) R 30192 30194 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129467310 1122304 67 4294967295 134512640 135180984 3218630880 3086799684 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=1096 CPUtime=0
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129467310 1122304 67 4294967295 134512640 135180984 3218630880 3086734148 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=1096 CPUtime=0
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129467310 1122304 67 4294967295 134512640 135180984 3218630880 3086668612 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[startup+0.103281 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=58036 CPUtime=0.16
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 12402 0 0 0 10 6 0 0 21 0 5 0 1129467310 59428864 12345 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 14509 12345 63 164 0 14344 0
[pid=30194/tid=30195] ppid=30192 vsize=58036 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129467310 59428864 12346 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=58036 CPUtime=0.06
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 5024 0 0 0 5 1 0 0 22 0 5 0 1129467310 59428864 12346 4294967295 134512640 135180984 3218630880 3086733460 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=58036 CPUtime=0.09
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 5059 0 0 0 5 4 0 0 22 0 5 0 1129467310 59428864 12346 4294967295 134512640 135180984 3218630880 3086668048 134520025 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 58036
[startup+0.212879 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=75704 CPUtime=0.32
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 15867 0 0 0 24 8 0 0 21 0 5 0 1129467310 77520896 15785 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 18926 15785 63 164 0 18761 0
[pid=30194/tid=30195] ppid=30192 vsize=75704 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129467310 77520896 15785 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=75704 CPUtime=0.06
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 5140 0 0 0 5 1 0 0 22 0 5 0 1129467310 77520896 15785 4294967295 134512640 135180984 3218630880 3086733460 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=75704 CPUtime=0.19
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 5653 0 0 0 13 6 0 0 22 0 5 0 1129467310 77520896 15785 4294967295 134512640 135180984 3218630880 3086668048 134520025 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 75704
[startup+0.312875 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=81784 CPUtime=0.51
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 17259 0 0 0 43 8 0 0 21 0 5 0 1129467310 83746816 17177 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 20446 17177 63 164 0 20281 0
[pid=30194/tid=30195] ppid=30192 vsize=81784 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129467310 83746816 17177 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=81784 CPUtime=0.08
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 5167 0 0 0 7 1 0 0 22 0 5 0 1129467310 83746816 17177 4294967295 134512640 135180984 3218630880 3086733460 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=81784 CPUtime=0.27
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 6249 0 0 0 21 6 0 0 22 0 5 0 1129467310 83746816 17178 4294967295 134512640 135180984 3218630880 3086667864 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 81784
[startup+0.712854 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=106052 CPUtime=1.26
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 23208 0 0 0 117 9 0 0 21 0 5 0 1129467310 108597248 23126 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 26513 23127 64 164 0 26348 0
[pid=30194/tid=30195] ppid=30192 vsize=106052 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129467310 108597248 23127 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=106052 CPUtime=0.43
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 7652 0 0 0 41 2 0 0 21 0 5 0 1129467310 108597248 23128 4294967295 134512640 135180984 3218630880 3086733400 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=106052 CPUtime=0.32
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 6599 0 0 0 26 6 0 0 23 0 5 0 1129467310 108597248 23129 4294967295 134512640 135180984 3218630880 3086668064 134513717 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 106052
[startup+1.51281 s]
/proc/loadavg: 5.16 5.29 5.27 7/124 30201
/proc/meminfo: memFree=3001612/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=96008 CPUtime=2.89
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 25647 0 0 0 277 12 0 0 21 0 5 0 1129467310 98312192 21311 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 24002 21311 68 164 0 23837 0
[pid=30194/tid=30195] ppid=30192 vsize=96008 CPUtime=0.03
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1261 0 0 0 3 0 0 0 16 0 5 0 1129467310 98312192 21311 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=96008 CPUtime=1.2
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 8512 0 0 0 115 5 0 0 16 0 5 0 1129467310 98312192 21311 4294967295 134512640 135180984 3218630880 3086733168 134528954 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=96008 CPUtime=0.35
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 6786 0 0 0 29 6 0 0 23 0 5 0 1129467310 98312192 21311 4294967295 134512640 135180984 3218630880 3086667924 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=96008 CPUtime=1.31
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 8977 0 0 0 130 1 0 0 16 0 5 0 1129467311 98312192 21311 4294967295 134512640 135180984 3218630880 3086458640 134525126 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 96008
[startup+3.11273 s]
/proc/loadavg: 5.16 5.29 5.27 7/122 30203
/proc/meminfo: memFree=2999392/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=93300 CPUtime=6.53
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 27247 0 0 0 637 16 0 0 21 0 5 0 1129467310 95539200 20784 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 23325 20784 68 164 0 23160 0
[pid=30194/tid=30195] ppid=30192 vsize=93300 CPUtime=0.05
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1263 0 0 0 3 2 0 0 15 0 5 0 1129467310 95539200 20784 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=93300 CPUtime=2.8
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 8553 0 0 0 274 6 0 0 18 0 5 0 1129467310 95539200 20784 4294967295 134512640 135180984 3218630880 3086733168 134528247 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=93300 CPUtime=0.81
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 8327 0 0 0 75 6 0 0 22 0 5 0 1129467310 95539200 20784 4294967295 134512640 135180984 3218630880 3086667624 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=93300 CPUtime=2.87
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 8993 0 0 0 285 2 0 0 18 0 5 0 1129467311 95539200 20784 4294967295 134512640 135180984 3218630880 3086458728 134520667 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 93300
[startup+6.31256 s]
/proc/loadavg: 5.31 5.32 5.28 7/123 30379
/proc/meminfo: memFree=2999708/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=95512 CPUtime=13.32
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 27633 0 0 0 1304 28 0 0 21 0 5 0 1129467310 97804288 21170 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 23878 21170 68 164 0 23713 0
[pid=30194/tid=30195] ppid=30192 vsize=95512 CPUtime=0.1
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1265 0 0 0 4 6 0 0 15 0 5 0 1129467310 97804288 21170 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=95512 CPUtime=5.82
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 8827 0 0 0 575 7 0 0 25 0 5 0 1129467310 97804288 21170 4294967295 134512640 135180984 3218630880 3086733160 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=95512 CPUtime=2.05
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 8351 0 0 0 197 8 0 0 25 0 5 0 1129467310 97804288 21170 4294967295 134512640 135180984 3218630880 3086667532 134518257 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=95512 CPUtime=5.35
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 9079 0 0 0 528 7 0 0 22 0 5 0 1129467311 97804288 21170 4294967295 134512640 135180984 3218630880 3086458736 134528411 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.32
Current children cumulated vsize (KiB) 95512
[startup+12.7122 s]
/proc/loadavg: 5.21 5.30 5.27 6/124 30405
/proc/meminfo: memFree=2996076/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=98276 CPUtime=25.9
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 28271 0 0 0 2555 35 0 0 21 0 5 0 1129467310 100634624 21808 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 24569 21808 68 164 0 24404 0
[pid=30194/tid=30195] ppid=30192 vsize=98276 CPUtime=0.14
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1268 0 0 0 4 10 0 0 15 0 5 0 1129467310 100634624 21808 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=98276 CPUtime=9.98
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 9142 0 0 0 991 7 0 0 25 0 5 0 1129467310 100634624 21808 4294967295 134512640 135180984 3218630880 3086733168 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=98276 CPUtime=5.83
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 8469 0 0 0 573 10 0 0 25 0 5 0 1129467310 100634624 21808 4294967295 134512640 135180984 3218630880 3086667536 134525183 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=98276 CPUtime=9.95
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 9281 0 0 0 987 8 0 0 25 0 5 0 1129467311 100634624 21808 4294967295 134512640 135180984 3218630880 3086458732 134520854 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.9
Current children cumulated vsize (KiB) 98276
[startup+25.5116 s]
/proc/loadavg: 5.23 5.30 5.27 6/124 30428
/proc/meminfo: memFree=2989564/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=104188 CPUtime=51.04
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 29981 0 0 0 5059 45 0 0 21 0 5 0 1129467310 106688512 23518 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 26047 23518 68 164 0 25882 0
[pid=30194/tid=30195] ppid=30192 vsize=104188 CPUtime=0.23
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1283 0 0 0 7 16 0 0 16 0 5 0 1129467310 106688512 23518 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=104188 CPUtime=18.01
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 9701 0 0 0 1792 9 0 0 25 0 5 0 1129467310 106688512 23518 4294967295 134512640 135180984 3218630880 3086733164 134520901 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=104188 CPUtime=13.33
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 8881 0 0 0 1322 11 0 0 25 0 5 0 1129467310 106688512 23518 4294967295 134512640 135180984 3218630880 3086667424 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=104188 CPUtime=19.47
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 10005 0 0 0 1938 9 0 0 25 0 5 0 1129467311 106688512 23518 4294967295 134512640 135180984 3218630880 3086458672 134523632 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 104188
[startup+51.1102 s]
/proc/loadavg: 5.26 5.30 5.27 6/122 30466
/proc/meminfo: memFree=2973704/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=119944 CPUtime=101.38
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 33887 0 0 0 10081 57 0 0 21 0 5 0 1129467310 122822656 27424 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 29986 27424 68 164 0 29821 0
[pid=30194/tid=30195] ppid=30192 vsize=119944 CPUtime=0.31
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1305 0 0 0 9 22 0 0 15 0 5 0 1129467310 122822656 27424 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=119944 CPUtime=34.41
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 11091 0 0 0 3431 10 0 0 25 0 5 0 1129467310 122822656 27424 4294967295 134512640 135180984 3218630880 3086733168 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=119944 CPUtime=31.43
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 10184 0 0 0 3128 15 0 0 25 0 5 0 1129467310 122822656 27424 4294967295 134512640 135180984 3218630880 3086667632 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=119944 CPUtime=35.23
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 11196 0 0 0 3513 10 0 0 25 0 5 0 1129467311 122822656 27424 4294967295 134512640 135180984 3218630880 3086458736 134528034 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 119944
Solver just ended. Dumping a history of the last processes samples
[startup+51.2102 s]
/proc/loadavg: 5.26 5.30 5.27 6/122 30466
/proc/meminfo: memFree=2973704/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=119944 CPUtime=101.58
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 33902 0 0 0 10101 57 0 0 21 0 5 0 1129467310 122822656 27439 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 29986 27439 68 164 0 29821 0
[pid=30194/tid=30195] ppid=30192 vsize=119944 CPUtime=0.31
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1305 0 0 0 9 22 0 0 15 0 5 0 1129467310 122822656 27439 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=119944 CPUtime=34.49
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 11101 0 0 0 3439 10 0 0 25 0 5 0 1129467310 122822656 27439 4294967295 134512640 135180984 3218630880 3086733136 134519935 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=119944 CPUtime=31.53
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 10189 0 0 0 3138 15 0 0 25 0 5 0 1129467310 122822656 27439 4294967295 134512640 135180984 3218630880 3086667632 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=119944 CPUtime=35.25
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 11196 0 0 0 3515 10 0 0 25 0 5 0 1129467311 122822656 27439 4294967295 134512640 135180984 3218630880 3086458728 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 119944
[startup+64.0096 s]
/proc/loadavg: 5.28 5.30 5.27 7/122 30669
/proc/meminfo: memFree=2966452/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=127240 CPUtime=126.69
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 35556 0 0 0 12598 71 0 0 21 0 5 0 1129467310 130293760 29093 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 31810 29093 68 164 0 31645 0
[pid=30194/tid=30195] ppid=30192 vsize=127240 CPUtime=0.35
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1311 0 0 0 9 26 0 0 15 0 5 0 1129467310 130293760 29093 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=127240 CPUtime=43.24
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 11717 0 0 0 4311 13 0 0 25 0 5 0 1129467310 130293760 29093 4294967295 134512640 135180984 3218630880 3086732960 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=127240 CPUtime=40.03
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 10771 0 0 0 3985 18 0 0 25 0 5 0 1129467310 130293760 29093 4294967295 134512640 135180984 3218630880 3086667632 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=127240 CPUtime=43.07
/proc/30194/task/30199/stat : 30199 (satake) S 30192 30194 17312 0 -1 4202560 11646 0 0 0 4293 14 0 0 25 0 5 0 1129467311 130293760 29093 4294967295 134512640 135180984 3218630880 3086458528 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 126.69
Current children cumulated vsize (KiB) 127240
[startup+76.8089 s]
/proc/loadavg: 5.24 5.29 5.27 6/122 30691
/proc/meminfo: memFree=2959952/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=135096 CPUtime=151.87
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 37579 0 0 0 15107 80 0 0 21 0 5 0 1129467310 138338304 31116 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 33774 31116 68 164 0 33609 0
[pid=30194/tid=30195] ppid=30192 vsize=135096 CPUtime=0.41
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1317 0 0 0 10 31 0 0 15 0 5 0 1129467310 138338304 31116 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=135096 CPUtime=51.11
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12281 0 0 0 5097 14 0 0 25 0 5 0 1129467310 138338304 31116 4294967295 134512640 135180984 3218630880 3086733168 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=135096 CPUtime=48.59
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11512 0 0 0 4840 19 0 0 25 0 5 0 1129467310 138338304 31116 4294967295 134512640 135180984 3218630880 3086667464 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=135096 CPUtime=51.76
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12358 0 0 0 5160 16 0 0 25 0 5 0 1129467311 138338304 31116 4294967295 134512640 135180984 3218630880 3086458736 134528090 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 151.87
Current children cumulated vsize (KiB) 135096
[startup+83.2085 s]
/proc/loadavg: 5.22 5.29 5.27 6/122 30699
/proc/meminfo: memFree=2957296/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=138332 CPUtime=164.49
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38348 0 0 0 16365 84 0 0 21 0 5 0 1129467310 141651968 31885 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 34583 31885 68 164 0 34418 0
[pid=30194/tid=30195] ppid=30192 vsize=138332 CPUtime=0.46
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1319 0 0 0 11 35 0 0 15 0 5 0 1129467310 141651968 31885 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=138332 CPUtime=55.22
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12430 0 0 0 5508 14 0 0 25 0 5 0 1129467310 141651968 31885 4294967295 134512640 135180984 3218630880 3086733168 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=138332 CPUtime=52.61
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11762 0 0 0 5242 19 0 0 25 0 5 0 1129467310 141651968 31885 4294967295 134512640 135180984 3218630880 3086667624 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=138332 CPUtime=56.2
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12726 0 0 0 5604 16 0 0 25 0 5 0 1129467311 141651968 31885 4294967295 134512640 135180984 3218630880 3086458728 134518252 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 164.49
Current children cumulated vsize (KiB) 138332
[startup+86.4084 s]
/proc/loadavg: 5.20 5.28 5.27 6/122 30708
/proc/meminfo: memFree=2955532/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=138728 CPUtime=170.84
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38625 0 0 0 16996 88 0 0 21 0 5 0 1129467310 142057472 32162 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 34682 32162 68 164 0 34517 0
[pid=30194/tid=30195] ppid=30192 vsize=138728 CPUtime=0.47
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1326 0 0 0 11 36 0 0 15 0 5 0 1129467310 142057472 32162 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=138728 CPUtime=57.18
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12478 0 0 0 5703 15 0 0 25 0 5 0 1129467310 142057472 32162 4294967295 134512640 135180984 3218630880 3086733232 134532420 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=138728 CPUtime=54.64
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11865 0 0 0 5444 20 0 0 25 0 5 0 1129467310 142057472 32162 4294967295 134512640 135180984 3218630880 3086667688 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=138728 CPUtime=58.55
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12845 0 0 0 5838 17 0 0 25 0 5 0 1129467311 142057472 32162 4294967295 134512640 135180984 3218630880 3086458736 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 170.84
Current children cumulated vsize (KiB) 138728
[startup+88.0083 s]
/proc/loadavg: 5.18 5.28 5.27 6/122 30708
/proc/meminfo: memFree=2955428/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=138728 CPUtime=174
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38636 0 0 0 17312 88 0 0 21 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 34682 32173 68 164 0 34517 0
[pid=30194/tid=30195] ppid=30192 vsize=138728 CPUtime=0.47
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1326 0 0 0 11 36 0 0 15 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=138728 CPUtime=57.81
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12480 0 0 0 5766 15 0 0 25 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086733168 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=138728 CPUtime=56.06
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11870 0 0 0 5586 20 0 0 25 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086667632 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=138728 CPUtime=59.66
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12849 0 0 0 5949 17 0 0 25 0 5 0 1129467311 142057472 32173 4294967295 134512640 135180984 3218630880 3086458728 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 174
Current children cumulated vsize (KiB) 138728
[startup+88.8083 s]
/proc/loadavg: 5.18 5.28 5.27 6/122 30708
/proc/meminfo: memFree=2955428/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=138728 CPUtime=175.57
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38636 0 0 0 17467 90 0 0 21 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 34682 32173 68 164 0 34517 0
[pid=30194/tid=30195] ppid=30192 vsize=138728 CPUtime=0.48
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1326 0 0 0 11 37 0 0 15 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=138728 CPUtime=58.21
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12480 0 0 0 5806 15 0 0 25 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086733168 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=138728 CPUtime=56.62
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11870 0 0 0 5642 20 0 0 25 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086667536 134525319 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=138728 CPUtime=60.26
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12849 0 0 0 6008 18 0 0 25 0 5 0 1129467311 142057472 32173 4294967295 134512640 135180984 3218630880 3086458732 134518229 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 175.57
Current children cumulated vsize (KiB) 138728
[startup+89.2082 s]
/proc/loadavg: 5.18 5.28 5.27 7/122 30712
/proc/meminfo: memFree=2955304/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=132904 CPUtime=176.36
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38645 0 0 0 17545 91 0 0 18 0 4 0 1129467310 136093696 30958 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 33226 30958 77 164 0 33061 0
[pid=30194/tid=30196] ppid=30192 vsize=132904 CPUtime=58.4
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12480 0 0 0 5825 15 0 0 25 0 4 0 1129467310 136093696 30958 4294967295 134512640 135180984 3218630880 3086733704 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=132904 CPUtime=56.99
/proc/30194/task/30197/stat : 30197 (satake) S 30192 30194 17312 0 -1 4202560 11870 0 0 0 5678 21 0 0 25 0 4 0 1129467310 136093696 30958 4294967295 134512640 135180984 3218630880 3086668152 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=132904 CPUtime=60.47
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12858 0 0 0 6029 18 0 0 24 0 4 0 1129467311 136093696 30958 4294967295 134512640 135180984 3218630880 3086459288 134672196 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 176.36
Current children cumulated vsize (KiB) 132904
[startup+89.3082 s]
/proc/loadavg: 5.18 5.28 5.27 7/122 30712
/proc/meminfo: memFree=2955304/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=121056 CPUtime=176.53
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38645 0 0 0 17556 97 0 0 18 0 3 0 1129467310 123961344 28663 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 30264 28663 77 164 0 30099 0
[pid=30194/tid=30196] ppid=30192 vsize=121056 CPUtime=58.45
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12480 0 0 0 5827 18 0 0 15 0 3 0 1129467310 123961344 28663 4294967295 134512640 135180984 3218630880 3086733704 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=121056 CPUtime=60.57
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12858 0 0 0 6038 19 0 0 22 0 3 0 1129467311 123961344 28663 4294967295 134512640 135180984 3218630880 3086459272 134672196 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 176.53
Current children cumulated vsize (KiB) 121056
Child status: 4
Real time (s): 89.4006
CPU time (s): 176.66
CPU user time (s): 175.64
CPU system time (s): 1.02
CPU usage (%): 197.605
Max. virtual memory (cumulated for all children) (KiB): 138728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.64
system time used= 1.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38646
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= 93068
involuntary context switches= 88118
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-30 03:47:24
IDJOB=1780435
IDBENCH=71006
IDSOLVER=629
FILE ID=/1780435-1243648044
PBS_JOBID=
Free space on /tmp= 7977 MiB
SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-10-5p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780435-1243648044/watcher-1780435-1243648044 -o /tmp/evaluation-result-1780435-1243648044/solver-1780435-1243648044 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780435-1243648044.cnf 4 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= e024fd9d9cdae82453a8cdaa74d08481
RANDOM SEED= 894673602
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.12
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3084296 kB
Buffers: 57656 kB
Cached: 119840 kB
SwapCached: 0 kB
Active: 88688 kB
Inactive: 110992 kB
HighTotal: 2489216 kB
HighFree: 2347164 kB
LowTotal: 879316 kB
LowFree: 737132 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 9596 kB
Writeback: 0 kB
AnonPages: 22428 kB
Mapped: 8280 kB
Slab: 74036 kB
SReclaimable: 61776 kB
SUnreclaim: 12260 kB
PageTables: 768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 123560 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7977 MiB
End job on at 2009-05-30 03:48:55