runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777876-1243459614/watcher-1777876-1243459614 -o /tmp/evaluation-result-1777876-1243459614/solver-1777876-1243459614 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777876-1243459614.cnf 569036326 4
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 3.93 4.73 4.75 3/115 20643
/proc/meminfo: memFree=3160368/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=509232 CPUtime=0.01
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 1677 0 0 0 0 1 0 0 18 0 1 0 1110641237 521453568 1634 4294967295 134512640 135680988 3216981824 3216981088 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/20643/statm: 127308 1642 99 286 0 127020 0
[startup+0.10056 s]
/proc/loadavg: 3.93 4.73 4.75 3/115 20643
/proc/meminfo: memFree=3160368/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=0.11
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19883 0 0 0 3 8 0 0 18 0 4 0 1110641237 559472640 19839 4294967295 134512640 135680988 3216981824 3216981156 134533068 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/20643/statm: 136590 19840 103 286 0 136302 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 546360
[startup+0.210542 s]
/proc/loadavg: 3.93 4.73 4.75 3/115 20643
/proc/meminfo: memFree=3160368/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=0.5
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 39 11 0 0 19 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 546360
[startup+0.310538 s]
/proc/loadavg: 3.93 4.73 4.75 3/115 20643
/proc/meminfo: memFree=3160368/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=0.9
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 79 11 0 0 19 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 546360
[startup+0.710522 s]
/proc/loadavg: 3.93 4.73 4.75 3/115 20643
/proc/meminfo: memFree=3160368/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=2.5
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 231 19 0 0 17 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 546360
[startup+1.51083 s]
/proc/loadavg: 3.93 4.73 4.75 5/119 20647
/proc/meminfo: memFree=3081780/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=5.69
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 543 26 0 0 16 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=1.4
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 137 3 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=1.39
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 134 5 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=1.4
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 139 1 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 546360
[startup+3.10983 s]
/proc/loadavg: 3.93 4.73 4.75 7/119 20648
/proc/meminfo: memFree=3081788/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=11.85
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 1148 37 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=2.94
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 288 6 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=2.89
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 281 8 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=2.99
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 296 3 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 546360
[startup+6.31006 s]
/proc/loadavg: 3.94 4.72 4.75 2/119 20833
/proc/meminfo: memFree=3081468/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=23.65
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 2312 53 0 0 16 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=6.08
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 601 7 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=5.68
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 554 14 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=6.14
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 606 8 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.65
Current children cumulated vsize (KiB) 546360
[startup+12.7099 s]
/proc/loadavg: 3.94 4.70 4.74 6/119 20833
/proc/meminfo: memFree=3081564/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=48.23
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 4731 92 0 0 16 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=12
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 1183 17 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=11.85
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 1156 29 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=12.34
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 1218 16 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020212 134535120 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.23
Current children cumulated vsize (KiB) 546360
[startup+25.5105 s]
/proc/loadavg: 4.03 4.69 4.73 5/119 20835
/proc/meminfo: memFree=3081504/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=97.22
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 9537 185 0 0 16 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=24.16
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 2375 41 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=23.96
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 2343 53 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=24.64
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 2425 39 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 97.22
Current children cumulated vsize (KiB) 546360
[startup+51.1167 s]
/proc/loadavg: 4.22 4.68 4.73 6/119 20835
/proc/meminfo: memFree=3081576/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=196.73
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 19311 362 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=49.03
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 4829 74 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=48.6
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 4767 93 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=49.54
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 4862 92 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.73
Current children cumulated vsize (KiB) 546360
[startup+102.306 s]
/proc/loadavg: 4.66 4.74 4.74 5/119 21024
/proc/meminfo: memFree=3081452/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=396.67
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 38910 757 0 0 16 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981156 134534000 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=99.02
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 9712 190 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=98.97
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 9706 191 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=98.72
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 9701 171 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 396.67
Current children cumulated vsize (KiB) 546360
[startup+162.321 s]
/proc/loadavg: 4.92 4.80 4.76 5/119 21211
/proc/meminfo: memFree=3081452/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=631.17
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 61904 1213 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=157.55
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 15455 300 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=157.67
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 15466 301 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=157.42
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 15452 290 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 631.17
Current children cumulated vsize (KiB) 546360
[startup+222.314 s]
/proc/loadavg: 4.69 4.75 4.75 7/119 21397
/proc/meminfo: memFree=3081452/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=863.63
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 84720 1643 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=215.86
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 21188 398 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=214.94
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 21079 415 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=216.22
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 21226 396 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 863.63
Current children cumulated vsize (KiB) 546360
[startup+282.314 s]
/proc/loadavg: 4.51 4.70 4.73 6/119 21585
/proc/meminfo: memFree=3081328/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=1098.53
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 107758 2095 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=274.96
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 26966 530 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=273.48
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 26823 525 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=20643] ppid=20641 vsize=546360 CPUtime=1795.13
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 176062 3451 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=449.47
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 44082 865 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=447.74
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 43906 868 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=449.14
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 44106 808 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 546360
[startup+522.313 s]
/proc/loadavg: 5.00 4.78 4.74 5/119 22342
/proc/meminfo: memFree=3080708/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=2029.28
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 199068 3860 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=508.04
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 49849 955 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=506.42
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 49666 976 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=507.64
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 49855 909 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2029.28
Current children cumulated vsize (KiB) 546360
[startup+582.307 s]
/proc/loadavg: 4.52 4.69 4.71 7/119 22530
/proc/meminfo: memFree=3080460/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=2260.1
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 221686 4324 0 0 16 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=565.5
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 55502 1048 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=564.34
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 55338 1096 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412340 134534551 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=565.39
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 55499 1040 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2260.1
Current children cumulated vsize (KiB) 546360
[startup+642.305 s]
/proc/loadavg: 4.81 4.74 4.73 6/119 22719
/proc/meminfo: memFree=3080460/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=2494.58
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 244707 4751 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=623.88
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 61236 1152 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804468 134533350 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=622.66
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 61056 1210 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=623.9
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 61254 1136 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2494.58
Current children cumulated vsize (KiB) 546360
[startup+702.314 s]
/proc/loadavg: 4.69 4.72 4.72 6/119 22912
/proc/meminfo: memFree=3080336/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=2727.34
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 267541 5193 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=681.9
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 66928 1262 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=680.52
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 66736 1316 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=682.18
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 66964 1254 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2727.34
Current children cumulated vsize (KiB) 546360
[startup+762.313 s]
/proc/loadavg: 4.53 4.68 4.71 5/119 23099
/proc/meminfo: memFree=3080584/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=2958.08
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 290188 5620 0 0 16 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=739.52
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 72581 1371 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=737.88
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 72372 1416 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=739.91
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 72623 1368 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2958.08
Current children cumulated vsize (KiB) 546360
[startup+822.308 s]
/proc/loadavg: 5.06 4.77 4.73 6/119 23285
/proc/meminfo: memFree=3080460/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=3191.17
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 313059 6058 0 0 16 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=798.13
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 78324 1489 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=796.28
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 78107 1521 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412340 134534538 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=798.27
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 78359 1468 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3191.17
Current children cumulated vsize (KiB) 546360
[startup+882.316 s]
/proc/loadavg: 4.99 4.81 4.75 6/119 23473
/proc/meminfo: memFree=3080460/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=3424.81
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 336010 6471 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=856.27
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 84032 1595 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=855.05
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 83879 1626 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=856.9
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 84121 1569 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3424.81
Current children cumulated vsize (KiB) 546360
[startup+942.313 s]
/proc/loadavg: 5.03 4.84 4.76 7/119 23662
/proc/meminfo: memFree=3080584/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=3657
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 358791 6909 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=914.09
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 89716 1693 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=912.89
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 89551 1738 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=915.25
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 89835 1690 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3657
Current children cumulated vsize (KiB) 546360
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 5.01 4.88 4.77 6/119 23851
/proc/meminfo: memFree=3080320/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=3880.97
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 380751 7346 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=969.61
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 95155 1806 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=969.07
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 95063 1844 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=971.13
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 95315 1798 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020212 134535073 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3880.97
Current children cumulated vsize (KiB) 546360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1000.01 s]
/proc/loadavg: 5.01 4.88 4.77 6/119 23851
/proc/meminfo: memFree=3080320/3368532 swapFree=1941392/1959888
[pid=20643] ppid=20641 vsize=546360 CPUtime=3880.97
/proc/20643/stat : 20643 (gnovelty+) R 20641 20643 24991 0 -1 4202496 19948 0 0 0 380751 7346 0 0 15 0 4 0 1110641237 559472640 19904 4294967295 134512640 135680988 3216981824 3216981068 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/20643/statm: 136590 19904 103 286 0 136302 0
[pid=20643/tid=20645] ppid=20641 vsize=546360 CPUtime=969.61
/proc/20643/task/20645/stat : 20645 (gnovelty+) R 20641 20643 24991 0 -1 4202560 27 0 0 0 95155 1806 0 0 15 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3077804380 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20643/tid=20646] ppid=20641 vsize=546360 CPUtime=969.07
/proc/20643/task/20646/stat : 20646 (gnovelty+) R 20641 20643 24991 0 -1 4202560 28 0 0 0 95063 1844 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3068412252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20643/tid=20647] ppid=20641 vsize=546360 CPUtime=971.13
/proc/20643/task/20647/stat : 20647 (gnovelty+) R 20641 20643 24991 0 -1 4202560 29 0 0 0 95315 1798 0 0 16 0 4 0 1110641247 559472640 19904 4294967295 134512640 135680988 3216981824 3059020212 134535073 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3880.97
Current children cumulated vsize (KiB) 546360
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.02
CPU time (s): 3880.98
CPU user time (s): 3807.52
CPU system time (s): 73.46
CPU usage (%): 388.088
Max. virtual memory (cumulated for all children) (KiB): 546360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3807.52
system time used= 73.46
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19948
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= 1393719
involuntary context switches= 42382
runsolver used 0.43 second user time and 0.52 second system time
The end
Begin job on at 2009-05-27 23:26:54
IDJOB=1777876
IDBENCH=70474
IDSOLVER=617
FILE ID=/1777876-1243459614
PBS_JOBID=
Free space on /tmp= 15730 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/65/unif-k7-r89-v65-c5785-S254828838-055.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777876-1243459614/watcher-1777876-1243459614 -o /tmp/evaluation-result-1777876-1243459614/solver-1777876-1243459614 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777876-1243459614.cnf 569036326 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 49dcfc34ef97670988a946b0575b679c
RANDOM SEED= 569036326
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.143
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.143
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.11
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.143
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.17
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.143
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.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3160368 kB
Buffers: 13100 kB
Cached: 122260 kB
SwapCached: 4320 kB
Active: 105084 kB
Inactive: 40796 kB
HighTotal: 2489216 kB
HighFree: 2353616 kB
LowTotal: 879316 kB
LowFree: 806752 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 1580 kB
Writeback: 0 kB
AnonPages: 9776 kB
Mapped: 4076 kB
Slab: 51080 kB
SReclaimable: 43212 kB
SUnreclaim: 7868 kB
PageTables: 748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127260 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15730 MiB
End job on at 2009-05-27 23:43:36